7311 search results - page 279 / 1463 » Time in State Machines |
227
click to vote
HYBRID
1997
Springer
15 years 11 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
242
click to vote
PODC
1990
ACM
15 years 11 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
176
click to vote
PTS
2007
15 years 8 months ago
2007
Extended Finite State Machine (EFSM)-based passive fault detection involves modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors of the SUT, and...
223
click to vote
ICML
2007
IEEE
16 years 8 months ago
2007
IEEE
We show how to apply the efficient Bayesian changepoint detection techniques of Fearnhead in the multivariate setting. We model the joint density of vector-valued observations usi...
188
click to vote
ICML
2001
IEEE
16 years 8 months ago
2001
IEEE
Hierarchical reinforcement learning (RL) is a general framework which studies how to exploit the structure of actions and tasks to accelerate policy learning in large domains. Pri...