1977 search results - page 175 / 396 » The satisfactory partition problem |
166
click to vote
AAAI
2008
15 years 9 months ago
2008
We present a real-time strategy (RTS) game AI agent that integrates multiple specialist components to play a complete game. Based on an analysis of how skilled human players conce...
165
click to vote
DAM
2008
15 years 6 months ago
2008
We describe a graph coloring problem associated with the determination of mathematical derivatives. The coloring instances are obtained as intersection graphs of row partitioned s...
145
click to vote
AAI
2006
15 years 6 months ago
2006
Task decomposition in a multi-agent environment is often performed online. This paper proposes a method for subtask allocation that can be performed before the agents are deployed...
146
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
178
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...