2136 search results - page 69 / 428 » Learning Behavior Models for Hybrid Timed Systems |
119
click to vote
HYBRID
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
174
Voted
GLOBE
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Distributed or peer-to-peer storage solutions rely on the introduction of redundant data to be fault-tolerant and to achieve high reliability. One way to introduce redund...
165
click to vote
NN
2002
Springer
15 years 3 months ago
2002
Springer
In this paper we implement a computational model of a neuromodulatory system in an autonomous robot. The output of the neuromodulatory system acts as a value signal, modulating wi...
124
click to vote
MASCOTS
2010
15 years 1 months ago
2010
—This paper considers the problem of how to improve the performance of hybrid storage system employing solid state disks and hard disk drives. We utilize both initial block alloc...
158
click to vote
ENTCS
2006
15 years 3 months ago
2006
The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational model...