Teoría computacional (en acl2) sobre cálculos proposicionales
Tesis doctoral de Francisco Jesús Martín Mateos En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Operadores de generalización para el aprendizaje clausal
Tesis doctoral de Miguel Angel Gutierrez Naranjo En esta memoria hemos estudiado los procesos de generalización, el paso de lo
Visión estéreo. multirresolución y modelo integrado
Tesis doctoral de Satorre Cuerda Rosa Ana Se presenta un método de emparejamiento para resolver el problema de la correspondencia
Modelo superficie-trayectoria. un modelo geométrico para el diseño y la fabricación de objetos tridimensionales
Tesis doctoral de Rafael Molina Carmona Se presenta un nuevo modelo geométrico para la definición de objetos tridimensionales. Con ello
Descripción de texturas. aplicaciones a su compresión y clasificación
Tesis doctoral de Irene Epifanio López Se ha tratado el problema de la representación de texturas tanto para su clasificación
Utilización de la transformada wavelet para la representación de terrenos en entornos de simulación
Tesis doctoral de María no Pérez Martínez Con el trabajo desarrollado se ha pretendido crear un nuevo marco, más eficiente
Contribución al reconocimiento de objetos 2d mediante detección de bordes en imágenes en color
Tesis doctoral de Nicolás Luis Fernandez Garcia El presente trabajo estudia las características esenciales de las fases de una metodología
Aportación a la puesta en correspondencia geométrica en escenarios exteriores aplicable a sistemas de realidad aumentada basados en video
Tesis doctoral de Juan Pablo Arboleda Aguinaga La presente tesis doctoral aporta una metodología que se basa en la información
Metodología para el diseño de bases de datos seguras
Tesis doctoral de Eduardo Fernandez-medina Paton La creciente importancia de la información en nuestra sociedad, llegando incluso a convertirse en
Mobile agent systems and trust, a combined view toward secure sea of data applications
Tesis doctoral de Sergio Robles Martínez La tecnologái de agentes permite, sin lugar a dudas, el diseño de nuevos tipos