12194 search results - page 2086 / 2439 » Numberings Optimal for Learning |
155
click to vote
TACAS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
149
click to vote
TACAS
2005
Springer
16 years 8 days ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
196
click to vote
WAC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper, we present and analyze a framework for selfevolving autonomic services in a wireless nomadic environment. We present a disconnected network architecture, w...
171
click to vote
WINE
2005
Springer
16 years 8 days ago
2005
Springer
Nash equilibria and dominant strategies are two of the major approaches to deal with selfishness in an automated system (AS), where each agent is a selfish entity. In this paper,...
195
click to vote
DMSN
2004
ACM
16 years 7 days ago
2004
ACM
Recent work in sensor databases has focused extensively on distributed query problems, notably distributed computation of aggregates. Existing methods for computing aggregates bro...