335 search results - page 3 / 67 » Compact Proofs of Retrievability |
ICMCS
2007
IEEE
14 years 1 months ago
2007
IEEE
— An important problem in color based image retrieval is the lack of efficient way to represent both the color and the spatial structure information with single descriptor. To so...
CVPR
2006
IEEE
14 years 9 months ago
2006
IEEE
This paper develops an efficient new method for 3D partial shape retrieval. First, a Monte Carlo sampling strategy is employed to extract local shape signatures from each 3D model...
DAGM
2003
Springer
14 years 26 days ago
2003
Springer
IJPRAI
2010
13 years 6 months ago
2010
ICLP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...