2467 search results - page 179 / 494 » Finite State Machines |
195
click to vote
ATAL
2001
Springer
15 years 11 months ago
2001
Springer
We develop an approach in which we model communication protocols via commitment machines. Commitment machines supply a content to protocol states and actions in terms of the social...
154
click to vote
DNA
2005
Springer
16 years 4 days ago
2005
Springer
In the field of DNA computing, more and more efforts are made for constructing molecular machines made of DNA that work in vitro or in vivo. States of some of those machines are...
184
click to vote
JVM
2004
15 years 8 months ago
2004
Checkpointing virtual machines shows potential for allowing a user to download, install, and initialize a complete software environment by selecting a web page link. Starting with...
174
click to vote
ICPR
2010
IEEE
15 years 4 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...
180
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...