7311 search results - page 69 / 1463 » Time in State Machines |
134
Voted
OSDI
2004
ACM
16 years 4 months ago
2004
ACM
This work addresses the problem of diagnosing configuration errors that cause a system to function incorrectly. For example, a change to the local firewall policy could cause a ne...
147
Voted
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
135
click to vote
SIGGRAPH
1996
ACM
15 years 8 months ago
1996
ACM
This paper presents a paradigm for automatically generating complete camera specifications for capturing events in virtual 3D environments in real-time. We describe a fully implem...
127
click to vote
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose a novel dependent hierarchical Pitman-Yor process model for discrete data. An incremental Monte Carlo inference procedure for this model is developed. We show that infe...
116
click to vote
ML
2002
ACM
15 years 3 months ago
2002
ACM
Abstract. The problemof state abstractionis of centralimportancein optimalcontrol,reinforcement learning and Markov decision processes. This paper studies the case of variable reso...