Especificacion y verificacion de sistemas reactivos utilizando metodos estructurados y logica temporal
Tesis doctoral de Tuya Gonzalez Pablo Javier En esta tesis se integran los metodos estructurados (sa/rt) junto con metodos formales […]
Tesis doctoral sobre Tecnología de los ordenadores
Accede a todas las tesis doctorales sobre Tecnología de los ordenadores mas relevantes.
Contribucion a la evaluacion y diseño de conmutadores rapidos de paquetes basados en el modo de transferencia asincrona (mta).
Tesis doctoral de Juan García Haro Recientemente la union de telecomunicaciones (uit-t) ha normalizado el modo de transferencia asincrono (mta)
Contribucion al reconocimiento del habla con redes neuronales y algoritmos de programacion dinamica.
Tesis doctoral de Menendez Pidal Sendrail Xavier La tesis analiza las ventajas y la problematica existente en los sistemas de
Redes neuronales artificiales aplicadas al reconocimiento de palabras independiente del locutor
Tesis doctoral de Sanchez Lazaro Angel Luis Se propone y describe una arquitectura neuronal hibrida para reconocimiento de palabras habladas.
Modelo de diseño orientado a marcos para sistemas basados en el conocimiento
Tesis doctoral de Asuncion Gomez Perez Este trabajo construye un modelo de diseño orientado a marcos para sistemas basados en
Desarrollo, programacion y puesta a punto de un sistema cim experimental dotado de robot de transporte de navegacion libre.
Tesis doctoral de Martin Abreu Francisco Jesús Diseño e implementacion de un sistema cim experimental. para ello se han desarrollado
Arquitectura neuronal no supervisada para el control de un robot movil en entornos no estacionarios.
Tesis doctoral de Eduardo Zalama Casanova Se propone una nueva arquitectura para el control de robots moviles. El sistema permite
Muestra optima para validacion de sistemas expertos
Tesis doctoral de Luis Gonzalez Sanchez En esta tesis se propone una solucion a un problema abierto, de esencial interes
Consideraciones sobre modelado y caracterizacion colorimetrica de imagenes digitalizadas.
Tesis doctoral de Elena Gonzalez Rodriguez Se trata el problema de garantizar la identificacion de los colores y la fiabilidad
Analisis y evaluacion de sistemas de interconexion para procesadores masivamente paralelos
Tesis doctoral de Agustin Arruabarrena Frutos Uno de los componentes clave en el diseño de las arquitecturas paralelas de memoria