Jugando con el tiempo.
Tesis doctoral de Llana Diaz Luis Fernando En el presente trabajo hemos estudiado la semantica de pruebas para algebras de […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Computacion simbolica de ecuaciones funcionales y aplicaciones.
Tesis doctoral de Andres Iglesias Prieto En esta tesis se analiza el problema de la computacion simbolica de las ecuaciones
Nonuniform complexity classes with sub-linear advice functions.
Tesis doctoral de Montserrat Hermo Huguet Se realiza un estudio exhaustivo de algunas clases de complejidad definidas a partir del
Model-based deformable shapes for segmentation. registration and tracking.
Tesis doctoral de Petia Radeva Ivanova En esta tesis estudiamos los problemas de la segmentacion, puesta en correspondencia y seguimiento
Las dependencias multivaluadas en el proceso deductivo bajo una semantica conjuntista.
Tesis doctoral de Millan Gonzalez Marta Elena Socorro En este estudio se explora la posibilidad de extender un conjunto de
Una arquitectura modular de inspiracion biologica con capacidad de aprendizaje para el analisis de movimiento en secuencias de imagen en tiempo real.
Tesis doctoral de Miguel Angel Fernandez Graciani Se propone una arquitectura neuronal (modular, multicapa y autoprogramable por aprendizaje) para el
Metodología de diseño en reconocimiento geometrico 2d: procedimientos neuronales y sintacticos.
Tesis doctoral de Fernandez Vidal José Ramon Esta tesis se centra en el reconocimiento geometrico 2d. en este campo existen
Semanticas de pruebas para algebras de procesos probabilisticos.
Tesis doctoral de Manuel Nuñez Garcia En esta tesis presentamos un algebra de procesos que ha sido extendida con informacion
Desarrollo de un sistema inteligente para sintesis de comportamiento. aplicacion al co-diseño hardware/software.
Tesis doctoral de Pedro Tabuenca Dopico Esta tesis doctoral desarrolla nuevas tecnicas de sintesis de alto nivel que permiten una
Descomposicion de redes bayesianas por medio de algoritmos geneticos.
Tesis doctoral de Pedro Larrañaga Mugica En esta tesis doctoral se tratan los problemas de la descomposicion y el aprendizaje