Sciweavers

71228 search results - page 357 / 14246
» Algorithms
Sort
View
GECCO
1999
Springer
115views Optimization» more  GECCO 1999»
15 years 11 months ago
A Diversity Study in Genetic Algorithms for Job Shop Scheduling Problems
This paper deals with the study of population diversity in Genetic Algorithms for Job Shop Scheduling Problems. A definition of population diversity at the phenotype level and a ...
Carlos A. Brizuela, Nobuo Sannomiya
194
Voted
ICCVW
1999
Springer
15 years 11 months ago
Characterizing the Performance of Multiple-Image Point-Correspondence Algorithms Using Self-Consistency
A new approach to characterizing the performance of point-correspondencealgorithmsis presented. Instead of relyingon any \ground truth', it uses the self-consistency of the o...
Yvan G. Leclerc, Quang-Tuan Luong, Pascal Fua
IPPS
1998
IEEE
15 years 11 months ago
Synthesis of a Systolic Array Genetic Algorithm
The paper presents the design of a hardware genetic algorithm which uses a pipeline of systolic arrays. Demostrated is the design methodology, where a simple genetic algorithm exp...
Graham M. Megson, I. M. Bland
SRDS
1998
IEEE
15 years 11 months ago
Practical Parallel Algorithms for Minimum Spanning Trees
We study parallel algorithms for computing the minimum spanning tree of a weighted undirected graph G with n vertices and m edges. We consider an input graph G with m=n p, where p...
Frank K. H. A. Dehne, Silvia Götz
CAV
1998
Springer
147views Hardware» more  CAV 1998»
15 years 11 months ago
Verification of an Implementation of Tomasulo's Algorithm by Compositional Model Checking
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
Kenneth L. McMillan
« Prev « First page 357 / 14246 Last » Next »