Sciweavers

936 search results - page 48 / 188
» FSM-Hume is finite state
Sort
View
IBMSJ
2002
36views more  IBMSJ 2002»
14 years 11 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»
14 years 11 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»
14 years 11 months ago
Two-way finite automata with quantum and classical states
Andris Ambainis, John Watrous
CORR
1999
Springer
57views Education» more  CORR 1999»
14 years 11 months ago
MSO definable string transductions and two-way finite state transducers
Joost Engelfriet, Hendrik Jan Hoogeboom
MT
2002
93views more  MT 2002»
14 years 11 months ago
Stochastic Finite-State Models for Spoken Language Machine Translation
Srinivas Bangalore, Giuseppe Riccardi