2905 search results - page 97 / 581 » Formal Memetic Algorithms |
186
click to vote
PDP
2008
IEEE
16 years 20 days ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
170
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, the Quantum-inspired Genetic Algorithms with the population of a single individual are formalized by a Markov chain model using a single and the stored best individ...
153
click to vote
AIMSA
2008
Springer
16 years 19 days ago
2008
Springer
Abstract. The problem of curriculum-based course timetabling is studied in this work. In addition to formally defining the problem, we present a hybrid solution algorithm (Adaptiv...
182
click to vote
SBACPAD
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a theoretical study to evaluate the performance of a family of parallel implementations of the propagation algorithm. The propagation algorithm is used to an i...
148
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper presents a theoretical study of the selection pressure in asynchronous cellular evolutionary algorithms (cEAs). This work is motivated by the search for a gene...