Optimizacion y analisis de especificaciones funcionales. un enfoque hacia la automatizacion
Tesis doctoral de Cristobal Pareja Flores Este trabajo se situa en el area de las transformaciones algebraicas de programas funcionales […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Deteccion y correccion de errores en codigos aritmeticos y modulares.
Tesis doctoral de Galan Simon Francisco Javier Los an-codigos aritmeticos y modulares son utilizados por sus buenas propiedades en la
A reinforcement connectionist learning approach to robot path finding.
Tesis doctoral de José Del Rocio Millan Ruiz La tesis define modelos conexionistas de aprendizaje para la busqueda de trayectorias
Modelizacion y simulacion del comportamiento del buque en aguas tranquilas con aplicacion a estudios de maniobras en puerto
Tesis doctoral de Montero Montalvo José M. – se examinan en profundidad las distintas fuerzas actuantes sobre el buque en
Shape. sistema heuristico de aprendizaje a partir de ejemplos
Tesis doctoral de Francisco Botana Ferreiro Se desarrolla un sistema de aprendizaje inductivo a partir de ejemplos. Las reglas discriminantes
Control de datos en el enfermo oncologico: propuesta de informatizacion
Tesis doctoral de Lourdes De La Peña Fernandez Se plantea la problematica de recogida de datos del enfermo oncologico en
Tecnicas formales para el desarrollo jerarquico de sistemas concurrentes
Tesis doctoral de Alonso Gonzalez Luis M. Se presenta un metodo para el desarrollo de sistemas concurrentes, aplicable a sistemas
Tecnicas para modelage de solidos con frontera continua.
Tesis doctoral de Nuria Pla Garcia El principal objetivo de esta tesis es el estudio exhaustivo de un sistema de
Una metodología de sintesis de arquitecturas vlsi: su aplicacion a la realizacion del algoritmo de viterbi sobre modelos ocultos de markov
Tesis doctoral de Felix Moreno Gonzalez Se desarrolla el estudio, planteamiento y realizacion de una metodología de sintesis de arquitecturas
Una aproximacion a la programacion logica con funciones indeterministas.
Tesis doctoral de Antonio Sarmiento Escalona La memoria es un intento de integracion de programacion logica y funcional derivado del