Sciweavers

2312 search results - page 10 / 463
» Invariance in Property Testing
Sort
View
GFKL
2007
Springer
164views Data Mining» more  GFKL 2007»
14 years 13 days ago
Classification with Invariant Distance Substitution Kernels
Kernel methods offer a flexible toolbox for pattern analysis and machine learning. A general class of kernel functions which incorporates known pattern invariances are invariant d...
Bernard Haasdonk, Hans Burkhardt
ISVC
2010
Springer
13 years 7 months ago
Bivariate Feature Localization for SIFT Assuming a Gaussian Feature Shape
In this paper, the well-known SIFT detector is extended with a bivariate feature localization. This is done by using function models that assume a Gaussian feature shape for the de...
Kai Cordes, Oliver Müller, Bodo Rosenhahn, J&...
GECCO
2010
Springer
152views Optimization» more  GECCO 2010»
14 years 17 days ago
Active covariance matrix adaptation for the (1+1)-CMA-ES
We propose a novel variant of the (1 + 1)-CMA-ES that updates the distribution of mutation vectors based on both successful and unsuccessful trial steps. The computational costs o...
Dirk V. Arnold, Nikolaus Hansen
APN
2006
Springer
13 years 10 months ago
Invariant Based Programming
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
Ralph-Johan Back
CDC
2009
IEEE
157views Control Systems» more  CDC 2009»
14 years 17 days ago
A PDE viewpoint on basic properties of coordination algorithms with symmetries
Several recent control applications consider the coordination of subsystems through local interaction. Often the interaction has a symmetry in state space, e.g. invariance with res...
Alain Sarlette, Rodolphe Sepulchre