Buscar
Mostrando ítems 1-10 de 20
Regional Finite-State Error Repair
(Springer-Verlag, 2004)
[Abstract] We describe an algorithm to deal with error repair over finite-state architectures. Such a technique is of interest in spelling correction as well as approximate string matching in a variety of applications ...
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 ...
Spelling correction on technical documents
(2005)
[Abstract] We describe a novel approach to spelling correction applied on technical documents, a task that requires a number of especific properties such as eficiency, safety and maintenance. In opposite to previous works, ...
Finite-State Morphology and Formal Verification
(Cambridge University Press, 1999)
Regional finite-state error repair
(Springer-Verlag, 2004)
[Abstract] We describe an algorithm to deal with error repair over finite-state architectures. Such a technique is of interest in spelling correction as well as approximate string matching in a variety of applications ...
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 ...
Formal methods of tokenization for part-of-speech tagging
(Springer-Verlag, 2002)
[Abstract] One of the most important prior tasks for robust part-of-speech tagging is the correct tokenization or segmentation of the texts. This task can involve processes which are much more complex than the simple ...
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 ...