2780 search results - page 365 / 556 » Generalizing by Removing Detail |
159
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
We describe a Multi-Agent System (MAS) for controlling teams of uninhabited air vehicles (UAVs) in the context of a larger system that has been used to evaluate potential concepts...
187
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
168
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
193
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
One of the key issues in designing appropriate and effective learning environments is understanding how learners advance and what factors contribute to their progress. This holds...
165
click to vote
CEEMAS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Distributed Constraint Satisfaction Problems (DCSP) is a general framework for multi-agent coordination and conflict resolution. In most DCSP algorithms, inter-agent com...