Ciencias de la Computación e Inteligencia Artificial: Envíos recientes
Mostrando ítems 21-35 de 35
-
Tesis Doctoral
Verificación de programas en modelos de computación no convencionales
(2002)El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de ...
-
Tesis Doctoral
Una teoría computacional acerca de la lógica ecuacional formalización en ACL2 de la lógica ecuacional y demostración automática de sus propiedades
(2001)El objetivo principal de la Tesis es el desarrollo de una teoría computacional acerca de la lógica ecuacional, usando para ...
-
Tesis Doctoral
Extensiones de fragmentos de la Aritmética
(2003)El presente trabajo se enmarca dentro del campo de estudio de los Modelos de la Aritmética de Peano: PA. En líneas generales, ...
-
Tesis Doctoral
Aplicaciones de la racionalidad acotada al razonamiento cualitativo sobre sistemas complejos
(2014)En un trabajo clásico de 1973, los investigadores Horst W. J. Rittel y Melvin M. Webber introducen, dentro del campo de ...
-
Tesis Doctoral
Estrategias de análisis gramatical y semántico para un sistema dirigido por voz
(1999)El objetivo de esta tesis es demostrar la eficiencia de un módulo del procesamiento de lenguaje natural (PLN) para un ...
- Tesis Doctoral
-
Tesis Doctoral
Operadores de generalización para el aprendizaje clausal
(2002)"En esta memoria hemos estudiado los procesos de generalización, el paso de lo particular a lo general, cuando la información ...
-
Tesis Doctoral
Programación celular resolución eficiente de problemas numéricos NP-completos
(2004)Esta memoria está estructurada en capítulos cuyos contenidos pasamos a describir sucintamente. En el Capítulo 1 se hace ...
-
Tesis Doctoral
Evolution, communication, observation from biology to membrane computing and back
(2005)La Computación Natural es una disciplina cuyo objetivo fundamental es la simulación e implementación de procesos dinámicos ...
-
Tesis Doctoral
P systems, a computacional modelling framework for systems biology
(2007)"Los programas informáticos que modelizan células facilitarán el trabajo de los biólogos. Se basa en hacer modelos de ...
- Tesis Doctoral
-
Tesis Doctoral
Teoría computacional (en ACL2) sobre cálculos proposicionales
(2002)En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y se verifican automáticamente sus principales propiedades en el sistema de demostración automática ACL2.
-
Tesis Doctoral
Razonamiento mereotopológico automatizado para la depuración de ontologías
(2005)La presente memoria se estructura en tres grandes bloques: I Tratamiento automatizado de la teoría RCC y métodos asistidos ...
- Tesis Doctoral
-
Tesis Doctoral
Complejidad y universalidad en modelos de computación celular
(2003)"La Computación Celular es una disciplina que se enmarca dentro del campo de investigación conocido como Computación ...