Sciweavers

425 search results - page 31 / 85
» Flux Invariants for Shape
Sort
View
ICFEM
2010
Springer
15 years 14 days ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...
ICPR
2008
IEEE
16 years 3 months ago
Histogram of radon transform. A useful descriptor for shape retrieval
In this paper we present a new descriptor based on the Radon transform. We propose a histogram of the Radon transform, called HRT, which is invariant to common geometrical transfo...
Salvatore Tabbone, Oriol Ramos Terrades, Sabine Ba...
ICPR
2006
IEEE
16 years 3 months ago
Bin-Picking based on Harmonic Shape Contexts and Graph-Based Matching
In this work we address the general bin-picking problem where 3D data is available. We apply Harmonic Shape Contexts (HSC) features since these are invariant to translation, scale...
Jakob Kirkegaard, Thomas B. Moeslund
3DOR
2008
15 years 4 months ago
Characterizing Shape Using Conformal Factors
We present a new 3D shape descriptor based on conformal geometry. Our descriptor is invariant under non-rigid quasi-isometric transformations, such as pose changes of articulated ...
Mirela Ben-Chen, Craig Gotsman
FLAIRS
2008
15 years 4 months ago
Fuzzy Clustering Paradigm and the Shape-Based Image Retrieval
This paper presents a strategy for shape-based image retrieval in which moment invariants form a feature vector to describe the shape of an object. Fuzzy k-means clustering is use...
Nan Xing, Imran Shafiq Ahmad