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 12 days 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 11 days 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 10 days 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 10 days 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 10 days 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