Sciweavers

936 search results - page 11 / 188
» FSM-Hume is finite state
Sort
View
IC
2004
13 years 10 months ago
Constructing Finite State Automata for High-Performance XML Web Services
This paper describes a validating XML parsing method based on deterministic finite state automata (DFA). XML parsing and validation is performed by a schema-specific XML parser th...
Robert van Engelen
JSYML
2008
105views more  JSYML 2008»
13 years 8 months ago
Finite state automata and monadic definability of singular cardinals
We define a class of finite state automata acting on transfinite sequences, and use these automata to prove that no singular cardinal can be defined by a monadic second order formu...
Itay Neeman
SOFSEM
1997
Springer
14 years 8 days ago
On Finite Representations of Infinite-State Behaviours
Abstract. We examine the problem of finite-state representability of infinitestate processes w.r.t. certain behavioural equivalences. We show that the classical notion of regularit...
Antonín Kucera
KBSE
2008
IEEE
14 years 3 months ago
Inferring Finite-State Models with Temporal Constraints
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
Neil Walkinshaw, Kirill Bogdanov
FGR
2000
IEEE
159views Biometrics» more  FGR 2000»
14 years 1 months ago
Gesture Modeling and Recognition Using Finite State Machines
This paper proposes a state based approach to gesture learning and recognition. Using spatial clustering and temporal alignment, each gesture is defined to be an ordered sequence ...
Pengyu Hong, Thomas S. Huang, Matthew Turk