2136 search results - page 242 / 428 » Learning Behavior Models for Hybrid Timed Systems |
140
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
132
click to vote
EWRL
2008
15 years 6 months ago
2008
If one possesses a model of a controlled deterministic system, then from any state, one may consider the set of all possible reachable states starting from that state and using any...
141
click to vote
ECML
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we show how the dynamics of Q-learning can be visualized and analyzed from a perspective of Evolutionary Dynamics (ED). More specifically, we show how ED can be use...
150
click to vote
IJON
2008
15 years 4 months ago
2008
Various alternatives have been developed to improve the Winner-Takes-All (WTA) mechanism in vector quantization, including the Neural Gas (NG). However, the behavior of these algo...
165
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...