9626 search results - page 100 / 1926 » Invariant Based Programming |
152
click to vote
CVPR
2011
IEEE
15 years 8 days ago
2011
IEEE
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...
143
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
137
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
Most shape matching methods are either fast but too simplistic to give the desired performance or promising as far as performance is concerned but computationally demanding. In th...
145
click to vote
ICCV
2001
IEEE
16 years 6 months ago
2001
IEEE
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....
151
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
Though implicit representations of surfaces have often been used for various computer graphics tasks like modeling and morphing of objects, it has rarely been used for registratio...