Sciweavers

270 search results - page 47 / 54
» atal 2005
Sort
View
ATAL
2005
Springer
14 years 3 months ago
The DEFACTO system for human omnipresence to coordinate agent teams: the future of disaster response
Enabling interactions of agent-teams and humans is a critical area of research, with encouraging progress in the past few years. However, previous work suffers from three key lim...
Nathan Schurr, Janusz Marecki, N. Kasinadhuni, Mil...
ATAL
2005
Springer
13 years 12 months ago
Rockwell automation agents for manufacturing
The paper provides an overview of the agent-based solutions developed by the Rockwell Automation company for the purposes of industrial control. Using agent-based manufacturing co...
Vladimír Marík, Pavel Vrba, Kenwood ...
ATAL
2009
Springer
14 years 2 months ago
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
Bruno Mermet, Gaële Simon
ATAL
2007
Springer
14 years 1 months ago
Distributed agent-based air traffic flow management
Air traffic flow management is one of the fundamental challenges facing the Federal Aviation Administration (FAA) today. The FAA estimates that in 2005 alone, there were over 322,...
Kagan Tumer, Adrian K. Agogino
ATAL
2005
Springer
14 years 3 months ago
Sequential auctions for objects with common and private values
Sequential auctions are an important mechanism for buying/selling multiple objects. Existing work has studied sequential auctions for objects that are exclusively either common va...
S. Shaheen Fatima, Michael Wooldridge, Nicholas R....