Sciweavers

2467 search results - page 76 / 494
» Finite State Machines
Sort
View
69
Voted
LCTRTS
1995
Springer
15 years 4 months ago
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
Sérgio Vale Aguiar Campos, Edmund M. Clarke...
68
Voted
ICCD
1991
IEEE
86views Hardware» more  ICCD 1991»
15 years 4 months ago
Synthesizing Converters Between Finite State Protocols
Janaki Akella, Kenneth L. McMillan
90
Voted
ACL
2008
15 years 2 months ago
Arabic Language Modeling with Finite State Transducers
In morphologically rich languages such as Arabic, the abundance of word forms resulting from increased morpheme combinations is significantly greater than for languages with fewer...
Ilana Heintz
110
Voted
COLING
2008
15 years 2 months ago
Quantification and Implication in Semantic Calendar Expressions Represented with Finite-State Transducers
This paper elaborates a model for representing semantic calendar expressions (SCEs), which correspond to the intensional meanings of natural-language calendar phrases. The model u...
Jyrki Niemi, Kimmo Koskenniemi