Sciweavers

5799 search results - page 517 / 1160
» Position Paper
Sort
View
GECCO
2006
Springer
123views Optimization» more  GECCO 2006»
15 years 10 months ago
Reconsidering the progress rate theory for evolution strategies in finite dimensions
This paper investigates the limits of the predictions based on the classical progress rate theory for Evolution Strategies. We explain on the sphere function why positive progress...
Anne Auger, Nikolaus Hansen
GECCO
2006
Springer
176views Optimization» more  GECCO 2006»
15 years 10 months ago
A genetic algorithm with backtracking for protein structure prediction
In this paper, we propose a simple genetic algorithm for finding the optimal conformation of a protein using the three-dimensional square HP model. A backtracking procedure is use...
Clayton Matthew Johnson, Anitha Katikireddy
FOSSACS
2000
Springer
15 years 10 months ago
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
Kai Engelhardt, Ron van der Meyden, Yoram Moses
ICMI
2000
Springer
167views Biometrics» more  ICMI 2000»
15 years 10 months ago
Gravity-Center Template Based Human Face Feature Detection
This paper presents a simple and fast technique for geometrical feature detection of several human face organs such as eyes and mouth. Human face gravity-center template is firstly...
Jun Miao, Wen Gao, Yiqiang Chen, Jie Lu
SMILE
2000
Springer
15 years 10 months ago
Rendering with Non-uniform Approximate Concentric Mosaics
In this paper, we explore the more practical aspects of building and rendering concentric mosaics. First, we use images captured with only approximately circular camera trajectorie...
Jinxiang Chai, Sing Bing Kang, Heung-Yeung Shum