Sciweavers

2467 search results - page 69 / 494
» Finite State Machines
Sort
View
LICS
2008
IEEE
16 years 23 days ago
On the Expressiveness and Complexity of Randomization in Finite State Monitors
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
APN
2007
Springer
16 years 17 days ago
Operating Guidelines for Finite-State Services
Niels Lohmann, Peter Massuthe, Karsten Wolf
CICLING
2007
Springer
16 years 17 days ago
Finite-State Technology as a Programming Environment
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
Shuly Wintner
SOFSEM
2007
Springer
16 years 15 days ago
Model-Checking Large Finite-State Systems and Beyond
Lubos Brim, Mojmír Kretínský