Sciweavers

9231 search results - page 1587 / 1847
» informs 2008
Sort
View
ATAL
2008
Springer
15 years 6 months ago
Continual collaborative planning for mixed-initiative action and interaction
Multiagent environments are often highly dynamic and only partially observable which makes deliberative action planning computationally hard. In many such environments, however, a...
Michael Brenner
ATAL
2008
Springer
15 years 6 months ago
Decentralized coordination of automated guided vehicles
This paper approaches the issue of coordination of highly autonomous Automated Guided Vehicles (AGVs) working on an automated factory. These vehicles are used for goods delivery t...
David Herrero Pérez, Humberto Martín...
ATAL
2008
Springer
15 years 6 months ago
A multi-agent platform for auction-based allocation of loads in transportation logistics
This paper describes an agent-based platform for the allocation of loads in distributed transportation logistics, developed as a collaboration between CWI, Dutch National Center f...
Han Noot, Valentin Robu, Han La Poutré, Wil...
ATAL
2008
Springer
15 years 6 months ago
Using SOA Provenance to Implement Norm Enforcement in e-Institutions
In the last 10 years several approaches and technologies other than MAS (such as Web services and Grid computing) have emerged, with the support of the industry, providing their o...
Javier Vázquez-Salceda, Sergio Álvar...
ATVA
2008
Springer
104views Hardware» more  ATVA 2008»
15 years 6 months ago
A Direct Algorithm for Multi-valued Bounded Model Checking
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
Jefferson O. Andrade, Yukiyoshi Kameyama
« Prev « First page 1587 / 1847 Last » Next »