Elementos de semántica denotacional de lenguajes de programación con datos borrosos.
Tesis doctoral de Daniel Sanchez Alvarez La tesis tiene como objetivo estudiar las bases que permitan definir, de manera formal, […]
Tesis doctoral sobre Inteligencia artificial
Accede a todas las tesis doctorales sobre Inteligencia artificial mas relevantes.
Pragmatica de la sintesis de programas lógicos
Tesis doctoral de David Robert Son Esta tesis trata de nuevas formas de usar métodos de síntesis estructural para especificaciones
«aportacion a la extraccion parametrica en reconocimiento de voz robusto basada en la aplicación de conocimiento de fonetica acustica»
Tesis doctoral de Agustin Alvarez Marquina La hipótesis en la que se basa el desarrollo de esta tesis, se centra
Sistemas de tipos puros con universos.
Tesis doctoral de Blas Carlos Ruiz Jimenez Los sistemas de tipo puros con universos propuestos en esta tesis permiten modelar
Aplicacion de las redes neuronales en las protecciones de distancia en redes electricas de alta tension.
Tesis doctoral de Nabil Khalil Ibrahim Ghonaim El avance de la tecnología de los microprocesadores y ordenadores ha permitido sustituir
Cafe: un sistema con arquitectura hibrida para la monitorizacion inteligente del estado antenatal.
Tesis doctoral de Bertha Guijarro Berdiñas El objetivo de este trabajo de tesis es el diseño, implementación y validación de
Busqueda heuristica multicriterio para inteligencia artificial en diseño.
Tesis doctoral de Lorenzo Mandow Andaluz La tesis formaliza los problemas de búsqueda heurística en grafos con preferencias multicriterio y
Estrategias de incorporacion de conocimiento sintactico y semantico en sistemas de comprension de habla continua en castellano.
Tesis doctoral de Jose Colas Pasamontes Diseño e implementación de un sistema de comprensión flexible y robusto de habla en
Shiva: un sistema heuristico e integrado para la validacion de sistemas inteligentes.
Tesis doctoral de Eduardo Mosqueira Rey En esta tesis se aborda la construcción de una herramienta de validación de sistemas
Una solucion integral de problemas de optimizacion en intranet basada en redes neuronales artificiales.
Tesis doctoral de Amparo Ruiz Sepulveda En el presente trabajo, tras un análisis del estado del arte en redes neuronales