12052 search results - page 2021 / 2411 » computing 2010 |
128
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
151
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
The Intelligent Decentralised Energy-Aware Systems (iDEaS) project at the University of Southampton (see www.ideasproject.info) is developing and demonstrating the application of ...
174
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Combinatorial auctions have been studied by the multiagent systems community for some time, since these auctions are an effective mechanism for resource allocation when agents are...
130
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are ident...
155
click to vote
ATAL
2010
Springer
2010
Springer
UAV swarm coordination using cooperative control for establishing a wireless communications backbone
15 years 5 months ago
In this paper, we present a mechanism to fly a swarm of UAVs with the aim of establishing a wireless backbone over a pre-specified area. The backbone is aimed at connecting interm...