Listar GI-COLE - Congresos, conferencias, etc. por título
Mostrando ítems 12-13 de 13
-
Une approche formelle pour la génération d'analyseurs de langages naturels
(2005-11-21)[Abstract] Un processus d'analyse syntaxique et d'annotation efficace est déterminante dans l'élaboration de structures d'analyse de langages naturels. Ce papier introduit un environnement de programmation permettant ... -
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 ...