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
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
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,
Desarrollo de un modelo computacional de representacion de imagenes y su aplicacion a la seleccion de escalas naturales y al calculo de medidas de distorsion.
Tesis doctoral de Javier Martinez Baena El objetivo de esta memoria es el desarrollo de un modelo de representación de
Desarrollo y validacion de un sistema de enseñanza abierta y a distancia en citopatología.
Tesis doctoral de Rafael Martinez Giron Introducción: el trabajo realizado es un estudio de investigación educativa aplicado al campo de