Sciweavers

1070 search results - page 172 / 214
» Benchmarking Adaptive Indexing
Sort
View
ICCAD
2002
IEEE
146views Hardware» more  ICCAD 2002»
15 years 6 months ago
Conflict driven learning in a quantified Boolean Satisfiability solver
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
Lintao Zhang, Sharad Malik
CVPR
2010
IEEE
15 years 6 months ago
Learning Mid-Level Features For Recognition
Many successful models for scene or object recognition transform low-level descriptors (such as Gabor filter responses, or SIFT descriptors) into richer representations of interme...
Y-Lan Boureau, Francis Bach, Yann LeCun, Jean Ponc...
CVPR
2010
IEEE
15 years 5 months ago
On-line Semi-supervised Multiple-Instance Boosting
A recent dominating trend in tracking called tracking-by-detection uses on-line classifiers in order to redetect objects over succeeding frames. Although these methods usually deli...
Bernhard Zeisl, Christian Leistner, Amir Saffari, ...
CEC
2009
IEEE
15 years 4 months ago
Differential Evolution with Laplace mutation operator
— Differential Evolution (DE) is a novel evolutionary approach capable of handling non-differentiable, non-linear and multi-modal objective functions. DE has been consistently ra...
Millie Pant, Radha Thangaraj, Ajith Abraham, Crina...
CEC
2009
IEEE
15 years 4 months ago
Particle Swarm CMA Evolution Strategy for the optimization of multi-funnel landscapes
— We extend the Evolution Strategy with Covariance Matrix Adaptation (CMA-ES) by collaborative concepts from Particle Swarm Optimization (PSO). The proposed Particle Swarm CMA-ES...
Christian L. Müller, Benedikt Baumgartner, Iv...