878 search results - page 87 / 176 » Interacting Abstract State Machines |
171
click to vote
AMOST
2007
ACM
15 years 7 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
144
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
159
click to vote
SOSP
2007
ACM
16 years 21 days ago
2007
ACM
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...
143
click to vote
ICML
2004
IEEE
16 years 4 months ago
2004
IEEE
Many difficult visual perception problems, like 3D human motion estimation, can be formulated in terms of inference using complex generative models, defined over high-dimensional ...
150
click to vote
ICML
2004
IEEE
16 years 4 months ago
2004
IEEE
In sequence modeling, we often wish to represent complex interaction between labels, such as when performing multiple, cascaded labeling tasks on the same sequence, or when longra...