Sciweavers

2905 search results - page 21 / 581
» Formal Memetic Algorithms
Sort
View
CEC
2011
IEEE
14 years 21 days ago
Comparing alternative energy functions for the HP model of protein structure prediction
Abstract—Protein structure prediction is the problem of finding the functional conformation of a protein given only its amino uence. The HP lattice model is an abstract formulat...
Mario Garza-Fabre, Eduardo Rodriguez-Tello, Gregor...
FMCAD
2009
Springer
15 years 7 months ago
Safety first: A two-stage algorithm for LTL games
Saqib Sohail, Fabio Somenzi
74
Voted
TYPES
2007
Springer
15 years 6 months ago
Algorithmic Equality in Heyting Arithmetic Modulo
Lisa Allali
96
Voted
AEI
2005
99views more  AEI 2005»
15 years 19 days ago
Comparison among five evolutionary-based optimization algorithms
Evolutionary algorithms (EAs) are stochastic search methods that mimic the natural biological evolution and/or the social behavior of species. Such algorithms have been developed ...
Emad Elbeltagi, Tarek Hegazy, Donald E. Grierson
GECCO
2007
Springer
192views Optimization» more  GECCO 2007»
15 years 7 months ago
Convergence of stochastic search algorithms to gap-free pareto front approximations
Recently, a convergence proof of stochastic search algorithms toward finite size Pareto set approximations of continuous multi-objective optimization problems has been given. The...
Oliver Schütze, Marco Laumanns, Emilia Tantar...