Buscar
Mostrando ítems 1-7 de 7
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 and representation aspects of our work using the firstorder, quantifier-free logic of ACL2 and ...
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, only an informal reasoning of this result is presented. In this paper we study a similar P ...
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 in rewriting logic. Since rewriting logic contains equational logic, Maude also supports equational ...
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 unificación y gestión de diálogo que permita la mejora de los sistemas de gestión de diálogo hablado. ...
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 by some basic features of living cells: transition P systems as they were given in [3], addressed ...
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 se basa en una división funcional del sistema de gestión en cuatro niveles: especificación, interfaz ...