3293 search results - page 517 / 659 » Communicative Autonomous Agents |
194
click to vote
AIPS
2011
14 years 10 months ago
2011
Consider the task of a mobile robot autonomously navigating through an environment while detecting and mapping objects of interest using a noisy object detector. The robot must re...
205
click to vote
IEAAIE
2011
Springer
14 years 10 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
155
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
Consider a center possessing a trusted (tamper proof) device that wishes to securely compute a public function over private inputs that are contributed by some network nodes. In ne...
162
click to vote
ATAL
2007
Springer
16 years 21 days ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...
189
click to vote
FLAIRS
2004
15 years 8 months ago
2004
In this paper the distributed Constraint Satisfaction Ant Algorithm (CSAA) framework is presented. It uses an ant-based system for the distributed solving of constraint satisfacti...