1249 search results - page 140 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
162
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
144
click to vote
CONCUR
2009
Springer
16 years 27 days ago
2009
Springer
One-counter automata are a fundamental and widely-studied class of infinite-state systems. In this paper we consider one-counter automata with counter updates encoded in binary—...
156
click to vote
AIPS
2004
15 years 7 months ago
2004
We show that for conditional planning with partial observability the existence problem of plans with success probability 1 is 2-EXP-complete. This result completes the complexity ...
107
click to vote
DCC
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a method for utilizing soft information in decoding of variable length codes (VLCs). When compared with traditional VLC decoding, which is performed using "hard&quo...
222
click to vote
CSCW
2011
ACM
15 years 1 months ago
2011
ACM
In this paper we describe how we moved from ethnographic study to design and testing of a Mixed Reality (MR) system, supporting collaborative troubleshooting of office copiers and...