Search Sciweavers | Sciweavers

936 search results - page 48 / 188

» FSM-Hume is finite state

click to vote

IBMSJ
2002

36views more IBMSJ 2002»

FLAVERS: A finite state verification technique for software systems

15 years 6 months ago

Download laser.cs.umass.edu

Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Oste...

claim paper

Read More »

126

click to vote

SIAMCOMP
2000

69views more SIAMCOMP 2000»

A Finite State Version of the Kraft--McMillan Theorem

15 years 6 months ago

Download www.cs.ust.hk

The main result is a finite-state version of the Kraft

Frédérique Bassino, Marie-Pierre B&e...

claim paper

Read More »

120

click to vote

CORR
1999
Springer

66views Education» more CORR 1999»

Two-way finite automata with quantum and classical states

15 years 6 months ago

Download web.cecs.pdx.edu

Andris Ambainis, John Watrous

claim paper

Read More »

click to vote

CORR
1999
Springer

57views Education» more CORR 1999»

MSO definable string transductions and two-way finite state transducers

15 years 6 months ago

Download www.cparity.com

Joost Engelfriet, Hendrik Jan Hoogeboom

claim paper

Read More »

150

click to vote

MT
2002

93views more MT 2002»

Stochastic Finite-State Models for Spoken Language Machine Translation

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers