Sciweavers

425 search results - page 39 / 85
» Flux Invariants for Shape
Sort
View
NFM
2011
252views Formal Methods» more  NFM 2011»
14 years 5 months ago
Call Invariants
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
Shuvendu K. Lahiri, Shaz Qadeer
NIPS
2007
14 years 11 months ago
Invariant Common Spatial Patterns: Alleviating Nonstationarities in Brain-Computer Interfacing
Brain-Computer Interfaces can suffer from a large variance of the subject conditions within and across sessions. For example vigilance fluctuations in the individual, variable ta...
Benjamin Blankertz, Motoaki Kawanabe, Ryota Tomiok...
CVPR
2011
IEEE
14 years 5 months ago
Deformation and Illumination Invariant Feature Point Descriptor
Recent advances in 3D shape recognition have shown that kernels based on diffusion geometry can be effectively used to describe local features of deforming surfaces. In this paper...
Francesc Moreno (Institut de Robotica i Informatic...
ICCV
2001
IEEE
16 years 7 days ago
Viewpoint Invariant Texture Matching and Wide Baseline Stereo
We describe and demonstrate a texture region descriptor which is invariant to affine geometric and photometric transformations, and insensitive to the shape of the texture region....
Frederik Schaffalitzky, Andrew Zisserman
PSIVT
2007
Springer
245views Multimedia» more  PSIVT 2007»
15 years 4 months ago
Grayscale Template-Matching Invariant to Rotation, Scale, Translation, Brightness and Contrast
In this paper, we consider the grayscale template-matching problem, invariant to rotation, scale, translation, brightness and contrast, without previous operations that discard gra...
Hae Yong Kim, Sidnei Alves de Araújo