361 search results - page 49 / 73 » Ant Colony Optimization |
CORR
2004
Springer
13 years 9 months ago
2004
Springer
INFORMS
2000
13 years 9 months ago
2000
AGENTS
2001
Springer
14 years 2 months ago
2001
Springer
We introduce the study of live social insect colonies as a relevant and exciting domain for the development and application of multi-agent systems modeling tools. Social insects p...
CEC
2008
IEEE
14 years 4 months ago
2008
IEEE
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...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
To satisfy high-performance computing demand in modern embedded devices, current embedded processor architectures provide designer with possibility either to define customized ins...