Sciweavers

5799 search results - page 284 / 1160
» Health-OS: : a position paper
Sort
View
GD
2006
Springer
15 years 10 months ago
Controllable and Progressive Edge Clustering for Large Networks
Node-link diagrams are widely used in information visualization to show relationships among data. However, when the size of data becomes very large, node-link diagrams will become ...
Huamin Qu, Hong Zhou, Yingcai Wu
153
Voted
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
172
Voted
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
EWSPT
2000
Springer
15 years 10 months ago
Software Process Technologies and the Competitiveness Challenge
Competitive quality is a need for the progress of the Information Technology sector. For enterprises, process is the starting point of all the approaches in the achievement of comp...
Giovanni A. Cignoni
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