1249 search results - page 81 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
101
click to vote
TASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
112
click to vote
CICLING
2004
Springer
15 years 3 months ago
2004
Springer
Domain shift is a challenging issue in dialogue management. This paper shows how to extract domain knowledge for dialogue model adaptation. The basic semantic concepts are derived ...
ICML
2005
IEEE
16 years 20 days ago
2005
IEEE
We propose machine learning methods for the estimation of deformation fields that transform two given objects into each other, thereby establishing a dense point to point correspo...
SOSP
2003
ACM
15 years 8 months ago
2003
ACM
We describe a new architecture for Byzantine fault tolerant state machine replication that separates agreement that orders requests from execution that processes requests. This se...
84
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
State machine based simulation of Boolean functions is substantially faster if the function being simulated is symmetric. Unfortunately function symmetries are comparatively rare....