Sciweavers

4107 search results - page 328 / 822
» The Generalized Lambda Test
Sort
View
FROCOS
2005
Springer
16 years 8 days ago
Logical Analysis of Hash Functions
Abstract. In this paper we report on a novel approach for uniform encoding of hash functions (but also other cryptographic functions) into propositional logic formulae, and reducin...
Dejan Jovanovic, Predrag Janicic
GECCO
2005
Springer
128views Optimization» more  GECCO 2005»
16 years 8 days ago
Hybrid multiobjective genetic algorithm with a new adaptive local search process
This paper is concerned with a specific brand of evolutionary algorithms: Memetic algorithms. A new local search technique with an adaptive neighborhood setting process is introdu...
Salem F. Adra, Ian Griffin, Peter J. Fleming
GECCO
2005
Springer
16 years 8 days ago
Towards an analysis of dynamic environments
Although the interest in nature-inspired optimization of dynamic problems has been growing constantly over the past decade, very little has been done to analyze and characterize a...
Jürgen Branke, Erdem Salihoglu, Sima Uyar
158
Voted
GECCO
2005
Springer
136views Optimization» more  GECCO 2005»
16 years 8 days ago
Fitness inheritance for noisy evolutionary multi-objective optimization
This paper compares the performance of anti-noise methods, particularly probabilistic and re-sampling methods, using NSGA2. It then proposes a computationally less expensive appro...
Lam Thu Bui, Hussein A. Abbass, Daryl Essam
GECCO
2005
Springer
143views Optimization» more  GECCO 2005»
16 years 8 days ago
Solving geometric TSP with ants
This paper presents an ant-based approach for solving the Traveling Salesman Problem (TSP). Novel concepts of this algorithm that distinguish it from the other heuristics are the ...
Thang Nguyen Bui, Mufit Colpan