Sciweavers

15614 search results - page 279 / 3123
» The State of State
Sort
View
TACAS
2001
Springer
107views Algorithms» more  TACAS 2001»
15 years 11 months ago
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation
Gianfranco Ciardo, Gerald Lüttgen, Radu Simin...
WIA
2001
Springer
15 years 11 months ago
Using Finite State Technology in Natural Language Processing of Basque
Iñaki Alegria, Maxux J. Aranzabe, Nerea Eze...
WIA
2001
Springer
15 years 11 months ago
Compilation Methods of Minimal Acyclic Finite-State Automata for Large Dictionaries
Abstract. We present a reflection on the evolution of the different methods for constructing minimal deterministic acyclic finite-state automata from a finite set of words. We ...
Jorge Graña, Francisco-Mario Barcala, Migue...