9697 search results - page 423 / 1940 » Intelligent Transportation Systems |
214
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
192
click to vote
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents an investigation into exploiting the population-based nature of Learning Classifier Systems for their use within highly-parallel systems. In particular, the use...
164
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
We consider multi-robot systems where robots need to cooperate tightly by sharing functionalities with each other. There are methods for automatically configuring a multi-robot sys...
184
click to vote
ESAW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Cooperative, autonomous and distributed properties of multiagent systems deduce the dynamic capabilities of multi-agent system applications. On the other hand, these suit...
194
Voted
FLAIRS
1998
15 years 8 months ago
1998
1 The Decision Support Information Gathering System, Digs, uses influence diagrams to model user's decisions and to calculate the value of imperfect information for each avail...