120
Voted
ANTSW
2010
Springer
14 years 10 months ago
2010
Springer
Division of labour in multi-robot systems or multi-robot task allocation (MRTA) is a challenging research issue. We propose to solve this MRTA problem using a set of previously pub...
97
Voted
AMI
2010
Springer
14 years 10 months ago
2010
Springer
We present an approach to exploit social and spatio-temporal context in order to improve information dissemination in dynamic largescale public spaces. We illustrate it by applying...
115
Voted
AMI
2010
Springer
14 years 10 months ago
2010
Springer
This paper presents a multi-agent system for the care of elderly people living at home on their own, with the aim to prolong their independence. The system is composed of seven gro...
AMAI
2010
Springer
14 years 10 months ago
2010
Springer
102
click to vote
AMAI
2010
Springer
14 years 10 months ago
2010
Springer
The study of the interplay between belief and probability can be posed in a geometric framework, in which belief and plausibility functions are represented as points of simplices i...
103
Voted
AMAI
2010
Springer
14 years 10 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
AMAI
2010
Springer
14 years 10 months ago
2010
Springer
109
click to vote
AMAI
2010
Springer
14 years 10 months ago
2010
Springer
Constraints and quantitative preferences, or costs, are very useful for modelling many real-life problems. However, in many settings, it is difficult to specify precise preference ...
95
Voted
AMAI
2010
Springer
14 years 10 months ago
2010
Springer
In a combinatorial auction, a set of resources is for sale, and agents can bid on subsets of these resources. In a voting setting, the agents decide among a set of alternatives by...
69
Voted
AMAI
2010
Springer
14 years 10 months ago
2010
Springer
