229 search results - page 2 / 46 » Formal Modeling of RESTful Systems Using Finite-State Machin... |
115
Voted
EMNLP
2004
15 years 2 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...
113
Voted
FGR
2000
IEEE
15 years 5 months 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 ...
119
Voted
DSVIS
2003
Springer
15 years 6 months ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
132
Voted
JSA
2002
15 years 24 days ago
2002
This paper examines some models of FSMs that can be implemented in dynamically and statically reconfigurable FPGAs. They enable circuits for the FSMs to be constructed in such a wa...
115
Voted
ACL2
2006
ACM
15 years 7 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...