Análisis y verificación de programas modulares
Tesis doctoral de Jesús Correas Fernández Existe un gran número de técnicas avanzadas de verificación y optimización estática de programas […]
Tesis doctoral sobre Inteligencia artificial
Accede a todas las tesis doctorales sobre Inteligencia artificial mas relevantes.
Max sat formalisms with hard and soft constraints
Tesis doctoral de Josep Argelich Roma In this thesis we investigate max-sat formalisms for solving combinatorial optimization problems with hard
Soft computing and non-parametric techniques for effective video surveillance systems
Tesis doctoral de Oscar Perez Concha Esta tesis propone varios objetivos interconectados para el diseño de un sistema de vídeo-vigilancia
Content authentication and access control in pure peer-to-peer networks
Tesis doctoral de Esther Palomar González Esta tesis doctoral se enmarca dentro del área de investigación de los entornos peer-to-peer
Autómatas finitos: irreducibilidad e inferencia.
Tesis doctoral de Vazquez De Parga Andrade Manuel En este trabajo abordamos dos problemas: el de la reducción de autómatas
Aprendizaje de árboles de decisión y regresión en flujos de datos con dinámicas desconocidas
Tesis doctoral de Raúl Fidalgo Merino Desde que existe la posibilidad de almacenar datos de forma masiva, los investigadores en
Exploración completa basada en comportamientos cooperativos para un agente autónomo móvil
Tesis doctoral de Alberto Poncela González La robótica se está convirtiendo con el paso de los años en un sector
Desarrollo de modelos predictivos de contaminantes ambientales.
Tesis doctoral de Enriqueta Salazar Ruiz El desarrollo de modelos matemáticos predictivos de distinto tipo de fenómenos son aplicaciones fundamentales
A flexible multitask summarizer for documents from different media, domain and language
Tesis doctoral de María Fuentes Fort Automatic summarization is probably crucial with the increase of document generation. Particularly when retrieving,
Técnicas inteligentes basadas en percepción visual aplicadas a la agricultura de precisión
Tesis doctoral de Alberto Tellaeche Iglesias A partir de la década de los años 90, se han producido importantes avances