887 search results - page 25 / 178 » Representing Systems with Hidden State |
137
Voted
TACAS
2010
Springer
14 years 11 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
144
click to vote
ALIFE
2006
15 years 1 months ago
2006
Visualization has an increasingly important role to play in scientific research. Moreover, visualization has a special role to play within artificial life as a result of the inform...
156
click to vote
ACL
2011
14 years 5 months ago
2011
We propose a principled and efficient phraseto-phrase alignment model, useful in machine translation as well as other related natural language processing problems. In a hidden se...
132
click to vote
DSRT
2005
IEEE
15 years 7 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
123
click to vote
UAI
2004
15 years 3 months ago
2004
Modeling dynamical systems, both for control purposes and to make predictions about their behavior, is ubiquitous in science and engineering. Predictive state representations (PSR...