Sciweavers

1119 search results - page 100 / 224
» On the Invariance of Ant System
Sort
View
ICRA
2009
IEEE
197views Robotics» more  ICRA 2009»
15 years 4 months ago
Synchronous EEG brain-actuated wheelchair with automated navigation
Abstract— This paper describes a new non-invasive brainactuated wheelchair that relies on a P300 neurophysiological protocol and automated navigation. In operation, the subject f...
Iñaki Iturrate, Javier M. Antelis, Javier M...
CEC
2008
IEEE
15 years 4 months ago
Finding liveness errors with ACO
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
J. Francisco Chicano, Enrique Alba
KES
2005
Springer
15 years 3 months ago
Parameter Space Exploration of Agent-Based Models
When developping multi-agent systems (MAS) or models in the context of agent-based simulation (ABS), the tuning of the model constitutes a crucial step of the design process. Indee...
Benoît Calvez, Guillaume Hutzler
ATAL
2003
Springer
15 years 3 months ago
Self-Organisation: Paradigms and Applications
Abstract. A self-organising system functions without central control, and through contextual local interactions. Components achieve a simple task individually, but a complex collec...
Giovanna Di Marzo Serugendo, Noria Foukia, Salima ...
ESAW
2008
Springer
14 years 11 months ago
ADELFE Design, AMAS-ML in Action
The complexity of engineers tasks leads us to provide means to bring the Adaptive Multi-Agent Systems (AMAS) design to a higher stage of automation and confidence thanks to Model D...
Sylvain Rougemaille, Jean-Paul Arcangeli, Marie Pi...