7 search results - page 1 / 2 » On the Explorative Behavior of MAX-MIN Ant System |
ANTSW
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. The impact of the values of the most meaningful parameters on the behavior of MAX
EUROCAST
2007
Springer
13 years 8 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
GECCO
2005
Springer
13 years 10 months ago
2005
Springer
In order to maintain a reliable and economic electric power supply, the maintenance of power plants is becoming increasingly important. In this paper, a formulation that enables a...
SLS
2009
Springer
13 years 11 months ago
2009
Springer
GECCO
2007
Springer
13 years 10 months ago
2007
Springer
When facing dynamic optimization problems the goal is no longer to find the extrema, but to track their progression through the space as closely as possible. Over these kind of ov...