Animación automática de especificaciones oasis utilizando programación lógica concurrente
Tesis doctoral de Letelier Torres Patricio Orlando El modelo conceptual expresa los requisitos funcionales de un sistema de información. Errores […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Contributions to the structural and symbolic analysis of place/transition nets, with applications to flexible manufacturing systems and asynchronous circuits.
Tesis doctoral de Fernando Garcia Valles El marco general del trabajo es el análisis de sistemas de eventos discretos modelados
Ingeniería del conocimiento para sistemas en tiempo real basados en conocimiento: una extensión a commonkads
Tesis doctoral de José Tomás Palma Méndez La principal aportación de este trabajo consiste en el planteamiento de una metodología
Mugarri: entorno multisistémico para el acceso al conocimiento linguistico de estudiantes de segunda lengua
Tesis doctoral de Montserrat Maritxalar Anglada El trabajo realizado ha tenido un doble objetivo: teórico y práctico. definimos el objetivo
Análisis estructural de fluxos turbulents amb xarses neuronals
Tesis doctoral de Joan Manuel Ferre Gine Se presenta un método automático para localizar estructuras coherentes en un campo de
Elementos de semántica denotacional de lenguajes de programación con datos borrosos.
Tesis doctoral de Daniel Sanchez Alvarez La tesis tiene como objetivo estudiar las bases que permitan definir, de manera formal,
Pragmatica de la sintesis de programas lógicos
Tesis doctoral de David Robert Son Esta tesis trata de nuevas formas de usar métodos de síntesis estructural para especificaciones
«aportacion a la extraccion parametrica en reconocimiento de voz robusto basada en la aplicación de conocimiento de fonetica acustica»
Tesis doctoral de Agustin Alvarez Marquina La hipótesis en la que se basa el desarrollo de esta tesis, se centra
Propagacion aproximada de intervalos de probabilidad en grafos de dependencias.
Tesis doctoral de Andrés Cano Utrera Las redes bayesianas han sido usadas muy frecuentemente para la construcción de sistemas expertos
Dosificacion personalizada de farmacos mediante inteligencia artificial, automatizada telefonicamente. su validacion para la anticoagulacion oral.
Tesis doctoral de Gutierrez De Loma Julio Hipotesis y objetivo: validación de un novedosos método para el mantenimiento de la