Courant bracket

2013-06-02T10:42:19Z

78.129.59.100: /* Dorfman bracket */ Typo

{{FeatureDetectionCompVisNavbox}}

'''Affine shape adaptation''' is a methodology for iteratively adapting the shape of the smoothing kernels in an [[affine group]] of smoothing kernels to the local image structure in neighbourhood region of a specific image point. Equivalently, affine shape adaptation can be accomplished by iteratively warping a local image patch with affine transformations while applying a rotationally symmetric filter to the warped image patches. Provided that this iterative process converges, the resulting fixed point will be ''affine invariant''. In the area of [[computer vision]], this idea has been used for defining affine invariant interest point operators as well as affine invariant texture analysis methods.

== Affine-adapted interest point operators ==

The interest points obtained from the scale-adapted Laplacian [[blob detection|blob detector]] or the multi-scale Harris [[corner detection|corner detector]] with automatic scale selection are invariant to translations, rotations and uniform rescalings in the spatial domain. The images that constitute the input to a computer vision system are, however, also subject to perspective distortions. To obtain interest points that are more robust to perspective transformations, a natural approach is to devise a feature detector that is ''invariant to affine transformations''.

Interestingly, affine invariance can be accomplished from measurements of the same multi-scale windowed second moment matrix <math>\mu</math> as is used in the multi-scale Harris operator provided that we extend the regular [[scale space]] concept obtained by convolution with rotationally symmetric Gaussian kernels to an ''affine Gaussian scale-space'' obtained by shape-adapted Gaussian kernels (Lindeberg 1994 section 15.3; Lindeberg and Garding 1997). For a two-dimensional image <math>I</math>, let <math>\bar{x} = (x, y)^T</math> and let <math>\Sigma_t</math> be a positive definite 2×2 matrix. Then, a non-uniform Gaussian kernel can be defined as
:<math>g(\bar{x}; \Sigma) = \frac{1}{2 \pi \sqrt{\operatorname{det} \Sigma_t}} e^{-\bar{x} \Sigma_t^{-1} \bar{x}/2}</math>
and given any input image <math>I_L</math> the affine Gaussian scale-space is the three-parameter scale-space defined as
:<math>L(\bar{x}; \Sigma_t) = \int_{\bar{xi}} I_L(x-\xi) \, g(\bar{\xi}; \Sigma_t) \, d\bar{\xi}.</math>
Next, introduce an affine transformation <math>\eta = B \xi</math> where <math>B</math> is a 2×2-matrix, and define a transformed image <math>I_R</math> as
:<math>I_L(\bar{\xi}) = I_R(\bar{\eta})</math>.
Then, the affine scale-space representations <math>L</math> and <math>R</math> of <math>I_L</math> and <math>I_R</math>, respectively, are related according to
:<math>L(\bar{\xi}, \Sigma_L) = R(\bar{\eta}, \Sigma_R)</math>
provided that the affine shape matrices <math>\Sigma_L</math> and <math>\Sigma_R</math> are related according to
:<math>\Sigma_R = B \Sigma_L B^T</math>.
Disregarding mathematical details, which unfortunately become somewhat technical if one aims at a precise description of what is going on, the important message is that ''the affine Gaussian scale-space is closed under affine transformations''.

If we, given the notation <math>\nabla L = (L_x, L_y)^T</math> as well as local shape matrix <math>\Sigma_t</math> and an integration shape matrix <math>\Sigma_s</math>, introduce an ''affine-adapted multi-scale second-moment matrix'' according to
:<math>\mu_L(\bar{x}; \Sigma_t, \Sigma_s) = g(\bar{x} - \bar{\xi}; \Sigma_s) \, \left( \nabla_L(\bar{\xi}; \Sigma_t) \nabla_L^T(\bar{\xi}; \Sigma_t) \right)</math>
it can be shown that under any affine transformation <math>\bar{q} = B \bar{p}</math> the affine-adapted multi-scale second-moment matrix transforms according to
:<math>\mu_L(\bar{p}; \Sigma_t, \Sigma_s) = B^T \mu_R(q; B \Sigma_t B^T, B \Sigma_s B^T) B</math>.
Again, disregarding somewhat messy technical details, the important message here is that ''given a correspondence between the image points <math>\bar{p}</math> and <math>\bar{q} </math>, the affine transformation <math>B</math> can be estimated from measurements of the multi-scale second-moment matrices <math>\mu_L</math> and <math>\mu_R</math> in the two domains.

An important consequence of this study is that if we can find an affine transformation <math>B</math> such that <math>\mu_R</math> is a constant times the unit matrix, then we obtain a ''fixed-point that is invariant to affine transformations'' (Lindeberg 1994 section 15.4; Lindeberg and Garding 1997). For the purpose of practical implementation, this property can often be reached by in either of two main ways. The first approach is based on ''transformations of the smoothing filters'' and consists of:

* estimating the second-moment matrix <math>\mu</math> in the image domain,
* determining a new adapted smoothing kernel with covariance matrix proportional to <math>\mu^{-1}</math>,
* smoothing the original image by the shape-adapted smoothing kernel, and
* repeating this operation until the difference between two successive second-moment matrices is sufficiently small.

The second approach is based on ''warpings in the image domain'' and implies:
* estimating <math>\mu</math> in the image domain,
* estimating a local affine transformation proportional to <math>\hat{B} = \mu^{1/2}</math> where <math>\mu^{1/2}</math> denotes the square root matrix of <math>\mu</math>,
* warping the input image by the affine transformation <math>\hat{B}^{-1}</math> and
* repeating this operation until <math>\mu</math> is sufficiently close to a constant times the unit matrix.

This overall process is referred to as ''affine shape adaptation'' (Lindeberg and Garding 1997; Baumberg 2000; Mikolajczyk and Schmid 2004; Tuytelaars and van Gool 2004; Lindeberg 2008). In the ideal continuous case, the two approaches are mathematically equivalent. In practical implementations, however, the first filter-based approach is usually more accurate in the presence of noise while the second warping-based approach is usually faster.

In practice, the affine shape adaptation process described here is often combined with interest point detection automatic scale selection as described in the articles on [[blob detection]] and [[corner detection]], to obtain interest points that are invariant to the full affine group, including scale changes. Besides the commonly used multi-scale Harris operator, this affine shape adaptation can also be applied to other types of interest point operators such as the Laplacian/Difference of Gaussian blob operator and the determinant of the Hessian (Lindeberg 2008). Affine shape adaptation can also be used for affine invariant texture recognition and affine invariant texture segmentation.

== See also ==
*[[Corner detection]]
*[[Blob detection]]
*[[Harris-Affine|Harris affine region detector]]
*[[Hessian Affine region detector|Hessian affine region detector]]
*[[Scale space]]
*[[Gaussian function]]

==References==

* {{cite conference
| author=A. Baumberg
| title=Reliable feature matching across widely separated views
| booktitle=Proceedings of IEEE Conference on Computer Vision and Pattern Recognition
| pages=pages I:1774--1781
| year=2000
| url=http://citeseer.ist.psu.edu/baumberg00reliable.html
}}
* {{cite book |
author=T. Lindeberg |
title= Scale-Space Theory in Computer Vision |
url = http://www.nada.kth.se/~tony/book.html |
publisher= Springer |
year=1994 |
isbn=0-7923-9418-6}}
* {{cite journal
| author=T. Lindeberg and J. Garding
| title=Shape-adapted smoothing in estimation of 3-D depth cues from affine distortions of local 2-D structure
| journal=Image and Vision Computing
| year=1997
| volume=15
| issue=6
| pages=pp 415–434
| url=http://www.nada.kth.se/~tony/abstracts/LG94-ECCV.html
| doi=10.1016/S0262-8856(97)01144-X
}}
* {{cite journal
| author=T. Lindeberg
| title=Scale-space
| journal=Encyclopedia of Computer Science and Engineering ([[Benjamin Wah]], ed), John Wiley and Sons
| volume = IV
| pages = 2495–2504
| year = 2008
| doi=10.1002/9780470050118.ecse609
| url = http://www.nada.kth.se/~tony/abstracts/Lin08-EncCompSci.html
}}
* {{cite journal
| author= K. Mikolajczyk, K. and C. Schmid
| title=Scale and affine invariant interest point detectors
| year=2004
| journal=International Journal of Computer Vision
| volume=60
| issue=1
| pages=pp 63–86
| url=http://www.robots.ox.ac.uk/~vgg/research/affine/det_eval_files/mikolajczyk_ijcv2004.pdf
| quote=Integration of the multi-scale Harris operator with the methodology for automatic scale selection as well as with affine shape adaptation.
| doi=10.1023/B:VISI.0000027790.02288.f2
}}
* {{cite journal
| author= T. Tuytelaars and L. van Gool K
| title=Matching Widely Separated Views Based on Affine Invariant Regions
| year=2004
| journal=International Journal of Computer Vision
| volume=59
| issue=1
| pages=pp 63–86
| url=http://www.vis.uky.edu/~dnister/Teaching/CS684Fall2005/tuytelaars_ijcv2004.pdf
| doi=10.1023/B:VISI.0000020671.28016.e8
}}
<references/>

{{DEFAULTSORT:Affine Shape Adaptation}}
[[Category:Feature detection]]

formulasearchengine - User contributions [en]

Courant bracket