Sciweavers

6192 search results - page 867 / 1239
» Distributed Control of Attention
Sort
View
COLT
2007
Springer
16 years 1 months ago
Occam's Hammer
Abstract. We establish a generic theoretical tool to construct probabilistic bounds for algorithms where the output is a subset of objects from an initial pool of candidates (or mo...
Gilles Blanchard, François Fleuret
CONCUR
2007
Springer
16 years 1 months ago
A Marriage of Rely/Guarantee and Separation Logic
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
Viktor Vafeiadis, Matthew J. Parkinson
DAGM
2007
Springer
16 years 1 months ago
Selection of Local Optical Flow Models by Means of Residual Analysis
Abstract. This contribution presents a novel approach to the challenging problem of model selection in motion estimation from sequences of images. New light is cast on parametric m...
Björn Andres, Fred A. Hamprecht, Christoph S....
GECCO
2007
Springer
138views Optimization» more  GECCO 2007»
16 years 1 months ago
Reducing the space-time complexity of the CMA-ES
A limited memory version of the covariance matrix adaptation evolution strategy (CMA-ES) is presented. This algorithm, L-CMA-ES, improves the space and time complexity of the CMA-...
James N. Knight, Monte Lunacek
154
Voted
GECCO
2007
Springer
210views Optimization» more  GECCO 2007»
16 years 1 months ago
Markov chain models of bare-bones particle swarm optimizers
We apply a novel theoretical approach to better understand the behaviour of different types of bare-bones PSOs. It avoids many common but unrealistic assumptions often used in an...
Riccardo Poli, William B. Langdon