7311 search results - page 130 / 1463 » Time in State Machines |
137
Voted
KBSE
2002
IEEE
15 years 9 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
152
click to vote
JVM
2004
15 years 5 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...
133
click to vote
ACL
2010
15 years 2 months ago
2010
In recent years, research in natural language processing has increasingly focused on normalizing SMS messages. Different well-defined approaches have been proposed, but the proble...
141
click to vote
ICPR
2010
IEEE
15 years 2 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...
128
click to vote
PPAM
2005
Springer
15 years 9 months ago
2005
Springer
We address a generalization of the classical 1- and 2-processor UET scheduling problem on dedicated machines. In our chromatic model of scheduling machines have non-simultaneous av...