ANTSW
2010
Springer
13 years 5 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...
AMI
2010
Springer
13 years 5 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...
AMI
2010
Springer
13 years 5 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
13 years 5 months ago
2010
Springer
AMAI
2010
Springer
13 years 5 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...
AMAI
2010
Springer
13 years 5 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
13 years 5 months ago
2010
Springer
AMAI
2010
Springer
13 years 5 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 ...
AMAI
2010
Springer
13 years 5 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...
AMAI
2010
Springer
13 years 5 months ago
2010
Springer
