Sciweavers

1916 search results - page 92 / 384
» Reconfiguring a state machine
Sort
View
JVM
2004
102views Education» more  JVM 2004»
13 years 9 months ago
One-Click Distribution of Preconfigured Linux Runtime State
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...
Richard Potter
ACL
2010
13 years 6 months ago
A Hybrid Rule/Model-Based Finite-State Framework for Normalizing SMS Messages
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...
Richard Beaufort, Sophie Roekhaut, Louise-Am&eacut...
ICPR
2010
IEEE
13 years 5 months ago
Automatic Facial Action Detection Using Histogram Variation Between Emotional States
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...
Thibaud Senechal, Kevin Bailly, Lionel Prevost
CORR
2010
Springer
92views Education» more  CORR 2010»
13 years 8 months ago
Applying Constraint Solving to the Management of Distributed Applications
Abstract. We present our approach for deploying and managing distributed component-based applications. A Desired State Description (DSD), written in a high-level declarative langua...
Andrew McCarthy, Alan Dearle, Graham N. C. Kirby
CAV
2000
Springer
125views Hardware» more  CAV 2000»
13 years 11 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
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...
Rajeev Alur, Radu Grosu, Michael McDougall