19866 search results - page 3799 / 3974 » Computing all factorizations in *** |
217
click to vote
AIED
2005
Springer
16 years 3 days ago
2005
Springer
SuperDuperWalker is a software-based framework for experiments on the evolution of locomotion. It simulates the behavior of evolving agents in a 3D physical simulation environment ...
209
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
189
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
196
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
179
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
Just as POMDPs have been used to reason explicitly about uncertainty in single-agent systems, there has been recent interest in using multi-agent POMDPs to coordinate teams of age...