Sciweavers

12825 search results - page 1871 / 2565
» Improved PLSOM algorithm
Sort
View
GECCO
2008
Springer
278views Optimization» more  GECCO 2008»
15 years 8 months ago
Elitism reduces bloat in genetic programming
Elitism is commonly used in generational GP to ensure that the best individuals discovered in a generation are not lost, and are made available for possible further improvements t...
Riccardo Poli, Nicholas Freitag McPhee, Leonardo V...
CAV
2010
Springer
286views Hardware» more  CAV 2010»
15 years 7 months ago
ABC: An Academic Industrial-Strength Verification Tool
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...
Robert K. Brayton, Alan Mishchenko
ICASSP
2010
IEEE
15 years 7 months ago
Approximate nearest neighbors using sparse representations
A new method is introduced that makes use of sparse image representations to search for approximate nearest neighbors (ANN) under the normalized inner-product distance. The approa...
Joaquin Zepeda, Ewa Kijak, Christine Guillemot
171
Voted
CORR
2010
Springer
100views Education» more  CORR 2010»
15 years 7 months ago
Convex Relaxations for Subset Selection
We use convex relaxation techniques to produce lower bounds on the optimal value of subset selection problems and generate good approximate solutions. We then explicitly bound the...
Francis Bach, Selin Damla Ahipasaoglu, Alexandre d...
CORR
2008
Springer
92views Education» more  CORR 2008»
15 years 7 months ago
On sign conditions over real multivariate polynomials
We present a new probabilistic algorithm to find a finite set of points intersecting the closure of each connected component of the realization of every sign condition over a fami...
Gabriela Jeronimo, Daniel Perrucci, Juan Sabia
« Prev « First page 1871 / 2565 Last » Next »