Sistema computacional para reconocimiento de actitudes y estilos en música culta
Tesis doctoral de María De Los Angeles Fernandez De Sevilla Vellon En este trabajo, se han elaborado una serie de […]
Tesis doctoral de Luis María Laita De La Rica
Información academica Luis María Laita De La Rica. Tesis donde Luis María Laita De La Rica ha sido autor, director o parte del tribunal.
Teoria computacional (en pvs) de la programación logica y del analisis formal de conceptos
Tesis doctoral de María Jose Hidalgo Doblado Los objetivos principales de la tesis son la formalización de teorías matemáticas en
Mental: un lenguaje genérico de especificación de paradigma semántico
Tesis doctoral de Rodríguez-roselló Martinez Miguel Angel La tesis plantea, un nuevo paradigma de programación denominado «semántico» y un nuevo
Aplicación del algebra computacional a la verificación y extracción de consecuencias en bases de conocimiento
Tesis doctoral de Diaz Valderrama Ana M. La tesis presenta una aplicación de las bases de grí¶bner a la construcción
«a contribution to the study of multivalued systems»
Tesis doctoral de Margarita Miró Juliá Esta tésis recoge toda una serie de fundamentos teóricos que definen un lenguaje multivaluado
Generacion, estructuras y representacion de los operadores de consecuencias de la logica borrosa.
Tesis doctoral de Jorge Elorza Barbajero Análisis de las propiedades de los operadores de consecuencias borrosas y su vinculación con
Evaluaciones de estimulos con caracteristicas difusas.
Tesis doctoral de Alejandro Sancho Royo En este trabajo, se muestra cómo construir con fundamento en la teoría de la
Modelos conceptuales para la interfaz con el usuario.
Tesis doctoral de Ines Escario Jover El proposito de esta memoria es dar una ampliacion de la nocion de modelo
Sobre redundancia y similaridad
Tesis doctoral de Angel Marin Martinez Se formula en terminos matematicos el problema de la redundancia o sobreinformacion en sistemas
Modelos de induccion acotada.
Tesis doctoral de Joaquin Borrego Diaz Entre los nuevos resultados que se obtienen en este trabajo caben destacar: – relaciones