Sciweavers

352 search results - page 43 / 71
» How to Guarantee Service Cooperation in Dynamic Environments
Sort
View
ICFP
2005
ACM
16 years 4 months ago
Modular verification of concurrent assembly code with dynamic thread creation and termination
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
Xinyu Feng, Zhong Shao
TROB
2002
75views more  TROB 2002»
15 years 4 months ago
Sold!: auction methods for multirobot coordination
Abstract--The key to utilizing the potential of multirobot systems is cooperation. How can we achieve cooperation in systems composed of failure-prone autonomous robots operating i...
Brian P. Gerkey, Maja J. Mataric
154
Voted
AMT
2009
Springer
263views Multimedia» more  AMT 2009»
15 years 11 months ago
A Dynamic Trust Network for Autonomy-Oriented Partner Finding
The problem of partner finding is to identify which entities (agents) can provide requested services from a group of entities. It can be found in open and distributed environment...
Hongjun Qiu, Jiming Liu, Ning Zhong
RIDE
2002
IEEE
15 years 9 months ago
Extensible Data Management in the Middle-Tier
Current data management solutions are largely optimized for intra-enterprise, client-server applications. They depend on predictability, predefined structure, and universal admini...
Brian F. Cooper, Neal Sample, Michael J. Franklin,...
ATAL
2003
Springer
15 years 9 months ago
A selection-mutation model for q-learning in multi-agent systems
Although well understood in the single-agent framework, the use of traditional reinforcement learning (RL) algorithms in multi-agent systems (MAS) is not always justified. The fe...
Karl Tuyls, Katja Verbeeck, Tom Lenaerts