23 search results - page 4 / 5 » Ant Colony Programming for Approximation Problems |
ANTSW
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. For solving combinatorial optimisation problems, exact methods accurately exploit the structure of the problem but are tractable only up to a certain size; approximation ...
GECCO
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. This paper shows how the presence of states in test objects can hinder or render impossible the search for test data using evolutionary testing. Additional guidance is re...
GECCO
2009
Springer
13 years 10 months ago
2009
Springer
This paper addresses the problem of multiagent task allocation in extreme teams. An extreme team is composed by a large number of agents with overlapping functionality operating i...
GECCO
2007
Springer
13 years 9 months ago
2007
Springer
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 model checke...
GLOBECOM
2010
IEEE
13 years 3 months ago
2010
IEEE
This paper considers a relay-assisted bidirectional cellular network where the base station (BS) communicates with each mobile station (MS) using orthogonal frequency-division mult...