9626 search results - page 157 / 1926 » Invariant Based Programming |
161
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
Lighting variation is commonly handled by methods invariant to additive and multiplicative changes in image intensity. It has been demonstrated that comparing images using the dir...
167
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper we present a complete method to retrieve reliable correspondences among wide baseline images, that is images of the same scene/object acquired from very different vi...
153
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
166
click to vote
ICARCV
2008
IEEE
16 years 21 days ago
2008
IEEE
—This paper proposes a set of methods for building informative and robust feature point representations, used for accurately labeling points in a 3D point cloud, based on the typ...
172
click to vote
ICASSP
2007
IEEE
16 years 17 days ago
2007
IEEE
This paper presents a novel classification strategy for 3D objects. Our technique is based on using a Global Geodesic Function to intrinsically describe the surface ofan object. T...