Un metodo de «parsing» para gramaticas categoriales multimodales.
Tesis doctoral de Francesc Xavier Llore Nadal Los metodos de prueba para gcms basados en redes de demostracion con formulas […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Modelado y soporte al proceso de desarrollo software con tecnicas de descripcion formal (fdt).
Tesis doctoral de Yelmo Garcia Juan Carlos Esta tesis aborda algunos de los retos impuestos por el despliegue de nuevos
Implementacion eficiente de la recursividad final en lenguajes imperativos basada en nuevas tecnicas de compilacion.
Tesis doctoral de Diaz Labrador Jesús Luis El trabajo propone una implementacion eficiente de los programas recursivos finales en lenguajes
Dinamica y clasificacion de estructuras oceanicas para aplicacion operacional de pesquerias utilizando teledeteccion e ingenieria
Tesis doctoral de Cotos Yañez José Manuel La tesis desarrolla un sistema experto para estudiar el afloramiento en la costa
Gestion informatizada de diagnosticos diferenciales
Tesis doctoral de Llamas Rodriguez Manuel Andres He presentado un programa para ordenadores compatibles pc que facilita el manejo de
Estudio de aspectos dinamicos en sistemas orientados al objeto.
Tesis doctoral de Manuel Barrio Solorzano En esta tesis se han estudiado los componentes principales de sistemas orientados al objeto
Xarxes de permutacions i digrafs acolorits: analisi i disseny.
Tesis doctoral de Margarida Espona Dones Los digrafos arco-coloreados constituyen el modelo natural de las redes de permutaciones, en las
Sistemas basados en el conocimiento aplicados a la validacion de informacion hidrologica en tiempo real.
Tesis doctoral de Ricardo Conejo Muñoz Se estudia la aplicacion al campo de la hidrología de las tecnicas de validacion
Definicion y construccion de un lenguaje relacional de interrogacion con capacidad para expresar inferencias recursivas.
Tesis doctoral de Eugenio Santos Menendez Uno de los problemas mas interesantes en bases de datos deductivas es la resolucion
Estudio de la variacion de la demanda de aprendizaje de un colectivo a partir del analisis de los conceptos conocidos.
Tesis doctoral de Aguiar Fernandez M. Mar Ofrece la posibilidad de acercar los dos colectivos involucrados en el mundo de