222 search results - page 19 / 45 » Gesture Modeling and Recognition Using Finite State Machines |
FMSD
1998
14 years 11 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
ISSTA
1998
ACM
15 years 3 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
101
click to vote
MCS
2006
Springer
14 years 11 months ago
2006
Springer
The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of intercon...
100
click to vote
MLMI
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we present a meeting state recognizer based on a combination of multi-modal sensor data in a smart room. Our approach is based on the training of a statistical model ...
WWW
2005
ACM
16 years 14 days ago
2005
ACM
Web based applications offer a mainstream channel for businesses to manage their activities. We model such business activity in a grammar-based framework. The Backus Naur form not...