4894 search results - page 796 / 979 » Dynamic Abstraction Planning |
154
click to vote
AAMAS
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. We study optimal control in large stochastic multi-agent systems in continuous space and time. We consider multi-agent systems where agents have independent dynamics with...
147
click to vote
APN
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. We study the relationship between name creation and replication in a setting of infinitestate communicating automata. By name creation we mean the capacity of dynamicall...
166
click to vote
ATAL
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Research in the area of Multi-Agent System (MAS) organization has shown that the ability for a MAS to adapt its organizational structure can be beneficial when coping wi...
144
click to vote
ATVA
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
181
click to vote
CAIP
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. In this paper we present a novel analysis-by-synthesis approach for real-time camera tracking in industrial scenarios. The camera pose estimation is based on the tracking...