Formalización e implementación práctica de un modelo conceptual para el ajuste de pids
Tesis doctoral de Hector Alaiz Moreton Esta tesis doctoral se planteó como continuación de otra tesis desarrollada recientemente en este […]
Tesis doctoral sobre Lenguajes formales
Accede a todas las tesis doctorales sobre Lenguajes formales mas relevantes.
Explotacion de corpus paralelos alineados para el desarrollo de entornos de composicion de documentos estructurados bilingues
Tesis doctoral de Arantza Casillas Rubio La ia(inteligencia artificial) es un area que abarca conocimiento de muy diverso tipo y
Teorías de la verdad para lenguajes autorreferentes: una solución parcial al problema del punto fijo
Tesis doctoral de Jose Martínez Fernández El trabajo es una contribución al proyecto del diseño y la justificación de teorías
Autómatas finitos: irreducibilidad e inferencia.
Tesis doctoral de Vazquez De Parga Andrade Manuel En este trabajo abordamos dos problemas: el de la reducción de autómatas
Matrix graph grammars
Tesis doctoral de Pedro Pablo Pérez Velasco Esta tesis presenta una algebraización de las gramáticas de grafos. Desde el punto
Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción tableau para su aplicación en comprobación de modelos on-the-fly
Tesis doctoral de Hornos Barranco Miguel Juan Este trabajo constituye el punto de partida para la verificación automática de sistemas
A design process supported by software authoring tools for the integration of assessment within cscl scripts
Tesis doctoral de Eloy David Villasclaras Fernández Aunque durante años se han realizado esfuerzos en la aplicación de scripts o
Semantic representation and enforcement of electronic contracts on audiovisual content
Tesis doctoral de Víctor Rodríguez Doncel This thesis presents a computer representation language for agreements on multimedia content and the
Gestión difusa de la incertidumbre aplicada a la localización de robots móviles
Tesis doctoral de David Herrero Pérez Para localizarse, los robots móviles tienen acceso a medidas relativas y absolutas. Estas medidas
Una propuesta de formalización de la arquitectura en cuatro capas de uml
Tesis doctoral de José Luis Fernández Alemán Se presenta una propuesta de formalización de la arquitectura en cuatro capas de