Buscar
Mostrando ítems 1-10 de 10
Artículo
Ponencia
The Maude System
(Springer, 1999)
Artículo
Lexical Object Theory: Specification Level
(Springer, 1998)
Unification has become a major paradigm in Mathematical and Computational Linguistics. The research done in this area may be classified in four main streams: feature structures as an adequate model for the description of ...
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 sistema telefónico que tiene como entrada expresiones de habla espontánea y que han sido reconocidas por ...
Artículo
Maude as a Metalanguage
(Elsevier, 1998)
One of the key goals of rewriting logic from its beginning has been to provide a semantic and logical framework in which many models of computation and languages can be naturally represented. There is by now very extensive ...
Artículo
Ponencia
Interpretación reactiva de sistemas basados en conocimiento.
(Universidad de Granada, 1999)
Artículo
Libro
Curso Práctico de Teoría de Conjuntos
(Ediciones La Ñ, 1998)
Todos los que hemos impartido tópicos diversos relativos a la Teoría de Conjuntos, en primer o segundo ciclo universitario, hemos echado de menos, en mayor o menor medida, un texto en el que apareciera un amplio espectro ...
Ponencia
A General, Sound and Efficient Natural Language Parsing Algorithm based on Syntactic Constraints Propagation
(AEPIA: Asociación Española para la Inteligencia Artificial, 1997)
This paper presents a new context-free parsing algorithm based on a bidirectional strictly horizontal strategy which incorporates strong top–down predictions (deriva- tions and adjacencies). From a functional point of ...