Grupo de Investigación en Compiladores e Linguaxes. COLE: Envíos recentes

Mostrando ítems 6-10 de 24

    • Parsing as resolution 

      Vilares Ferro, Manuel; Graña Gil, Jorge (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 

      Graña Gil, Jorge; Chappelier, J. C.; Vilares Ferro, Manuel (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 ...

    • El sistema ERIAL: LEIRA, un entorno para RI basado en PLN 

      Barcala Rodríguez, Francisco Mario; Domínguez, Eva María; Alonso, Miguel A.; Cabrero, David; Graña Gil, Jorge; Vilares, Jesús; Vilares Ferro, Manuel; Rojo, Guillermo.; Santalla, María Paula; Sotelo, Susana (2002)

    • Verificación de conexiones telefónicas con esterel 

      Graña Gil, Jorge; Vilares Ferro, Manuel; Bernhard, R. (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 

      Graña Gil, Jorge; Vilares Ferro, Manuel; Bernhard, R. (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 ...