GI-COLE - Congresos, conferencias, etc.: Envíos recentes
Mostrando ítems 6-10 de 13
-
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 ... -
Integrating external dictionaries into Part-of-speech taggers
(2001)[Abstract] The highest performances in part-of-speech tagging have been obtained by using stochastic methods, such as hidden Markov models. The running parameters of a hidden Markov model for tagging can be estimated from ... -
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 ... -
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 ...