369 search results - page 7 / 74 » Canonical finite state machines for distributed systems |
EMNLP
2004
13 years 9 months ago
2004
State-of-the-art machine translation techniques are still far from producing high quality translations. This drawback leads us to introduce an alternative approach to the translat...
FGR
2000
IEEE
14 years 1 days ago
2000
IEEE
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 ...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Cashiers in retail stores usually exhibit certain repetitive and periodic activities when processing items. Detecting such activities plays a key role in most retail fraud detecti...
ACL2
2006
ACM
14 years 1 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
REX
1993
13 years 11 months ago
1993
