936 search results - page 73 / 188 » FSM-Hume is finite state |
CEC
2003
IEEE
14 years 2 months ago
2003
IEEE
Learning Deterministic Finite Automata (DFA) is a hard task that has been much studied within machine learning and evolutionary computation research. This paper presents a new met...
ACSD
2003
IEEE
14 years 17 days ago
2003
IEEE
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
ICDCSW
2005
IEEE
14 years 2 months ago
2005
IEEE
Although a self-stabilizing system that suffers from a transient fault is guaranteed to converge to a legitimate state after a finite number of steps, the convergence can be slow ...
ICML
2006
IEEE
14 years 9 months ago
2006
IEEE
Inference in Markov Decision Processes has recently received interest as a means to infer goals of an observed action, policy recognition, and also as a tool to compute policies. ...
CAV
2004
Springer
14 years 20 days ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...