Metodos formales para normalizacion en logica de primer orden usando la metodología tas.
Tesis doctoral de Manuel Ojeda Aciego En la logica de primer orden la obtencion de formas normales es un prerrequisito […]
Tesis doctoral sobre Inteligencia artificial
Accede a todas las tesis doctorales sobre Inteligencia artificial mas relevantes.
Interferencia catastrofica en redes neuronales: soluciones y relacion con otros problemas del conexionismo.
Tesis doctoral de Ruiz De Angulo Garcia Vicente Esta tesis aborda el problema de la interferencia catastrofica basandose en un
Algoritmos de busqueda de vecinos mas proximos en espacios metricos.
Tesis doctoral de Mico Andrés M. Luisa La busqueda del vecino mas proximo es una tecnica muy utilizada en reconocimiento
Heuristicas basadas en algoritmos geneticos para la resolucion de problemas de transporte.
Tesis doctoral de Fernando Jimenez Barrionuevo El problema que se ha abordado en este trabajo consiste en el estudio del
Modelizacion cualitativa de sistemas dinamicos.
Tesis doctoral de Jose Ruiz Gomez Palabras clave: inteligencia artificial, modelizacion cualitativa, sistemas dinamicos, control experto, kads en algunas ciencias
Modelo para analisis y conceptualizacion de sistemas inteligentes para control de procesos industriales en tiempo real.
Tesis doctoral de Miren Idoia Alarcón Rodríguez Este trabajo aborda la problematica actual del control supervisor inteligente dentro del area
Sobre redundancia y similaridad
Tesis doctoral de Angel Marin Martinez Se formula en terminos matematicos el problema de la redundancia o sobreinformacion en sistemas
Analisis de texturas mediante coeficiente morfologico. modelado conexionista aplicado.
Tesis doctoral de Francisco Ibarra Pico El problema de analisis de texturas viene tratandose en las ultimas decadas por diferentes
Modelizacion de los principales mecanismos del funcionamiento del sistema nervioso de los seres vivos.
Tesis doctoral de Vico Vela Francisco Jose En este trabajo se modelan los principales mecanismos del funcionamiento del sistema nervioso
Tecnicas de transformacion de programas logicos para su optimizacion y paralelizacion automatica
Tesis doctoral de Francisco Bueno Carrillo La tesis propone transformaciones de programas logicos que tienen por objetivo su optimizacion mediante