Sciweavers

936 search results - page 48 / 188
» FSM-Hume is finite state
Sort
View
IBMSJ
2002
36views more  IBMSJ 2002»
13 years 8 months ago
FLAVERS: A finite state verification technique for software systems
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Oste...
SIAMCOMP
2000
69views more  SIAMCOMP 2000»
13 years 8 months ago
A Finite State Version of the Kraft--McMillan Theorem
The main result is a finite-state version of the Kraft
Frédérique Bassino, Marie-Pierre B&e...
CORR
1999
Springer
66views Education» more  CORR 1999»
13 years 8 months ago
Two-way finite automata with quantum and classical states
Andris Ambainis, John Watrous
CORR
1999
Springer
57views Education» more  CORR 1999»
13 years 8 months ago
MSO definable string transductions and two-way finite state transducers
Joost Engelfriet, Hendrik Jan Hoogeboom
MT
2002
93views more  MT 2002»
13 years 8 months ago
Stochastic Finite-State Models for Spoken Language Machine Translation
Srinivas Bangalore, Giuseppe Riccardi