Sciweavers

988 search results - page 55 / 198
» Pseudo-Genetic Algorithmic Composition
Sort
View
AHS
2006
IEEE
164views Hardware» more  AHS 2006»
15 years 3 months ago
Automatic Hybrid Genetic Algorithm Based Printed Circuit Board Inspection
The paper presents a novel integrated system in which a number of image processing algorithm are embedded within a Genetic Algorithm (GA) based framework in order to provide an ad...
Syamsiah Mashohor, Jonathan R. Evans, Ahmet T. Erd...
TON
2002
138views more  TON 2002»
14 years 9 months ago
Algebra and algorithms for QoS path computation and hop-by-hop routing in the internet
Prompted by the advent of quality-of-service routing in the Internet, we investigate the properties that path weight functions must have so that hop-by-hop routing is possible and ...
João L. Sobrinho
CVPR
2004
IEEE
15 years 12 months ago
The SPS Algorithm: Patching Figural Continuity and Transparency by Split-Patch Search
This paper describes a novel algorithm for the efficient synthesis of high-quality virtual views from only two input images. The emphasis is on the recovery of continuity of objec...
Antonio Criminisi, Andrew Blake
IPPS
1999
IEEE
15 years 2 months ago
Mechanical Verification of a Garbage Collector
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
Klaus Havelund
74
Voted
GECCO
2007
Springer
427views Optimization» more  GECCO 2007»
15 years 4 months ago
Evolutionary music composer integrating formal grammar
—In this paper, an autonomous music composition tool is developed using Genetic Algorithms. The production is enhanced by integrating formal grammar rules. A formal grammar is a ...
Yaser M. A. Khalifa, Badar K. Khan, Jasmin Begovic...