Buscar
Mostrando ítems 1-8 de 8
GALENA: tabular DCG parsing for natural languages
(1998)
[Abstract] We present a definite clause based parsing environment for natural languages, whose operational model is the dynamic interpretation of logical push-down automata. We attempt to briefly explain our design decisions ...
A tagger environment for Galician
(1998)
[Abstract] In this paper, we introduce a tagger environment for Galician, the native language of Galicia. Galician belongs to the group of Romance languages which developed from the Latin imposed on the north-west of the ...
Verificación de conexiones telefónicas con esterel
(1995)
[Resumen] El presente trabajo resume el proceso de diseño, implementación y verificación del comportamiento de una centralita telefónica digital en el entorno de programación de tiempo real síncrono Esterel. Nuestra intención ...
Finite-State Morphology and Formal Verification
(Cambridge University Press, 1999)
Communication protocols verification with Esterel
(Computational Mechanics Publications, 1995)
[Abstract] This work summarizes design, implementation and verification processes of a digital telephone switchboard in the Esterel real-time programming environment. Our aim is to show the modularity in the description ...
Parsing as resolution
(1993)
[Abstract] A general context-free parsing algoritm based on logical dynamic programming techniques is described. The analyzer takes a general class of context-free grammar as drivers, and any finite string as input. In an ...
Instrumentation of Synchronous Reactive Models for Performance Engineering
(Springer-Verlag, 1995)
Nuevos algoritmos tabulares para el análisis de LIG
(1999)
[Resumen] A partir de un algoritmo de tipo CYK se desarrolla una serie de nuevos algoritmos tabulares para el análisis de Gramáticas Lineales de Índices que incluye algoritmos ascendentes y algoritmos de tipo Earley con y ...