Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por fecha de publicación
Mostrando ítems 1-20 de 360
- Artículo
-
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 ...
-
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 ...
- Artículo
- Artículo
-
Artículo
Towards Maude 2.0
(Elsevier, 2000)Maude 2.0 is the new version of the Maude rewriting logic language currently under development. Maude 2.0’s three main ...
-
Artículo
Proyecto europeo Siridus
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2001) -
Artículo
Some Results on LΔ n+1
(Wiley, 2001)We study the quantifier complexity and the relative strength of some fragments of arithmetic axiomatized by induction and minimization schemes for Δn+1 formulas.
-
Artículo
Proyecto europeo D'Homme
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2001) -
Artículo
Integration of dialogue moves and speech recognition in a telephone scenario
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2001) -
Artículo
Dialogue Management in a Home Machine Environment: Linguistic Components over an Agent Architecture
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2001)This paper presents the main characteristics of an Agent{based Architecture for the design and implementation of a ...
-
Artículo
Dialogue Moves for Natural Command Languages
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2001) -
Artículo
Formal proofs about rewriting using ACL2
(Springer, 2002)We present an application of the ACL2 theorem prover to reason about rewrite systems theory. We describe the formalization ...
-
Artículo
Verifying a P system generating squares
(Romanian Academy, Section for Information Science and Technology, 2002)In [1], an example of a P system generating exactly all the squares of natural numbers greater than 1 is given. Nevertheless, ...
-
Artículo
Maude: specification and programming in rewriting logic
(Elsevier, 2002)Maude is a high-level language and a high-performance system supporting executable specification and declarative programming ...
-
Artículo
Parsing bidimensional de estructuras DAG mediante el algoritmo SCP y su aplicación al reconocimiento de habla
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2002)Este trabajo presenta una estrategia para la integración de los módulos de reconocimiento de habla, parsing basado en ...
-
Artículo
A Formalization of Transition P Systems
(IOS Press, 2002)In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired ...
-
Artículo
Identification and Representation of Anaphoric Expressions in a Spoken Dialogue System
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2002) -
Artículo
Modelado de diálogo basado en conocimiento, acciones y expectativas
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2002)Este trabajo propone un modelo declarativo para el modelado de sistemas de gestión de diálogo. La estrategia propuesta ...
-
Artículo
Recent Computability Models Inspired from Biology: DNA and Membrane Computing
(Universidad del País Vasco, 2003)We briefly present two areas of natural computing, vividly investigated in the recent years: DNA computing and membrane ...