14190 search results - page 2488 / 2838 » Abstractions for hybrid systems |
182
click to vote
APPROX
2007
Springer
15 years 11 months ago
2007
Springer
We prove a lower bound for swapping the order of Arthur and Merlin in two-round MerlinArthur games using black-box techniques. Namely, we show that any AM-game requires time (t2 )...
202
click to vote
ARGMAS
2007
Springer
15 years 11 months ago
2007
Springer
Argumentation can serve as an effective computational tool and as a useful abstraction for various agent activities and in particular for agent reasoning. In this paper we further ...
201
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
Abstract-- Nanometer VLSI systems demand robust clock distribution network design for increased process and operating condition variabilities. In this paper, we propose minimum clo...
189
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
This paper addresses distributed task allocation in complex scenarios modeled using the distributed constraint optimization problem (DCOP) formalism. We propose and evaluate a nov...
202
click to vote
AUTONOMICS
2007
ACM
15 years 11 months ago
2007
ACM
Abstract. Adaptation of devices and applications based on contextual information has a great potential to enhance usability and mitigate the increasing complexity of mobile devices...