510 search results - page 2 / 102 » Searching Solitaire in Real Time |
78
Voted
MOBILERESPONSE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The coordinated reaction to a large-scale disaster is a challenging research problem. The Robocup rescue simulation league addresses this research problem but is currentl...
62
Voted
IJCAI
1989
15 years 25 days ago
1989
93
Voted
AAMAS
1998
Springer
14 years 11 months ago
1998
Springer
Since real-time search provides an attractive framework for resource-bounded problem solving, this paper extends the framework for autonomous agents and for a multiagent world. To ...
156
click to vote
FASE
2004
Springer
15 years 3 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
109
click to vote
ICPPW
2009
IEEE
14 years 9 months ago
2009
IEEE
In this paper we address the problem of global real-time periodic scheduling on heterogeneous multiprocessor platforms. We give a solution based on a constraint satisfaction proble...