3820 search results - page 655 / 764 » Bounded Model Debugging |
155
Voted
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
1 In multi-agent systems (MAS), coalition formation is typically studied using characteristic function game (CFG) representations, where the performance of any coalition is indepen...
137
click to vote
ESA
2008
Springer
15 years 3 months ago
2008
Springer
Online interval selection is a problem in which intervals arrive one by one, sorted by their left endpoints. Each interval has a length and a non-negative weight associated with i...
103
click to vote
EWRL
2008
15 years 3 months ago
2008
If one possesses a model of a controlled deterministic system, then from any state, one may consider the set of all possible reachable states starting from that state and using any...
137
click to vote
MASCOTS
2010
15 years 3 months ago
2010
Execution and communication traces are central to performance modeling and analysis. Since the traces can be very long, meaningful compression and extraction of representative beha...
108
click to vote
IJCAI
2007
15 years 3 months ago
2007
This paper is a comparative study of game-theoretic solution concepts in strictly competitive multiagent scenarios, as commonly encountered in the context of parlor games, competi...