Sciweavers

3715 search results - page 458 / 743
» A Space Optimization for FP-Growth
Sort
View
ISCAS
2005
IEEE
123views Hardware» more  ISCAS 2005»
16 years 1 months ago
Lower-bound estimation for multi-bitwidth scheduling
In high-level synthesis, accurate lower-bound estimation is helpful to explore the search space efficiently and to evaluate the quality of heuristic algorithms. For the lower-bound...
Junjuan Xu, Jason Cong, Xu Cheng
APN
2005
Springer
16 years 1 months ago
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation
stract Interpretation Robert Claris´o, Enric Rodr´ıguez-Carbonell, and Jordi Cortadella Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract interpretation is a para...
Robert Clarisó, Enric Rodríguez-Carb...
EVOW
2005
Springer
16 years 1 months ago
Genetic Paint: A Search for Salient Paintings
The contribution of this paper is a novel non-photorealistic rendering (NPR) algorithm for rendering real images in an impasto painterly style. We argue that figurative artworks a...
John P. Collomosse, Peter M. Hall
EVOW
2005
Springer
16 years 1 months ago
The Electric Sheep Screen-Saver: A Case Study in Aesthetic Evolution
Abstract. Electric Sheep is a distributed screen-saver that harnesses idle computers into a render farm with the purpose of animating and evolving artificial life-forms known as s...
Scott Draves
GECCO
2005
Springer
141views Optimization» more  GECCO 2005»
16 years 1 months ago
Local and global order 3/2 convergence of a surrogate evolutionary algorithm
A Quasi-Monte-Carlo method based on the computation of a surrogate model of the fitness function is proposed, and its convergence at super-linear rate 3/2 is proved under rather ...
Anne Auger, Marc Schoenauer, Olivier Teytaud