9110 search results - page 1427 / 1822 » Formally-Based Design Evaluation |
165
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper studies self-organized flocking in a swarm of mobile robots. We present Kobot, a mobile robot platform developed specifically for swarm robotic studies, briefly describ...
165
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Life-like agents have the potential to make e-shopping sites on the Web more attractive and persuasive; our interest is to determine how multiple life-like agents should behave as...
202
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Multiagent environments are often highly dynamic and only partially observable which makes deliberative action planning computationally hard. In many such environments, however, a...
180
click to vote
ATC
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
208
click to vote
AUSDM
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we investigate the classification of mental tasks based on electroencephalographic (EEG) data for Brain Computer Interfaces (BCI) in two scenarios: off line and on-l...