2136 search results - page 361 / 428 » Learning Behavior Models for Hybrid Timed Systems |
107
click to vote
COGSR
2010
14 years 11 months ago
2010
In this paper, we describe a digital scenario where we simulated the emergence of self-organized symbol-based communication among artificial creatures inhabiting a virtual world of...
138
click to vote
INFOCOM
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes a control mechanism for a future Internet. It is an economic mechanism that enables users to choose different pairs of price/QoS priority levels for network se...
142
click to vote
ICCD
1995
IEEE
15 years 7 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
154
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
136
click to vote
MFCS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...