2940 search results - page 38 / 588 » Relational Parametricity and Control |
CORR
2008
Springer
14 years 12 months ago
2008
Springer
This paper proposes a method to construct an adaptive agent that is universal with respect to a given class of experts, where each expert is designed specifically for a particular...
120
click to vote
RTAS
2003
IEEE
15 years 5 months ago
2003
IEEE
The use of feedback control theory for performance guarantees in QoS-aware systems has gained much attention in recent years. In this paper, we investigate merging, within a singl...
100
click to vote
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper describes a method of synthesis of asynchronous circuits with relative timing. Asynchronous communication between gates and modules typically utilizes handshakes to ens...
AI
2011
Springer
14 years 6 months ago
2011
Springer
Much like relational probabilistic models, the need for relational preference models arises naturally in real-world applications where the set of object classes is fixed, but obj...
ENTCS
2002
14 years 11 months ago
2002
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...