1249 search results - page 47 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
CONCUR
2000
Springer
14 years 1 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
ICPR
2010
IEEE
13 years 7 months ago
2010
IEEE
This article presents an appearance based method to detect automatically facial actions. Our approach focuses on reducing features sensitivity to identity of the subject. We compu...
PTS
1993
13 years 10 months ago
1993
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...
ICPR
2002
IEEE
14 years 10 months ago
2002
IEEE
This paper proposes a system architecture for event recognition that integrates information from multiple sources (e.g., gesture and speech recognition from distributed sensors in...
ECML
2005
Springer
14 years 2 months ago
2005
Springer
We propose in this paper a novel approach to the induction of the structure of Hidden Markov Models. The induced model is seen as a lumped process of a Markov chain. It is construc...