335 search results - page 3 / 67 » Compact Proofs of Retrievability |
103
click to vote
ICMCS
2007
IEEE
15 years 3 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
15 years 11 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
15 years 2 months ago
2003
Springer
IJPRAI
2010
14 years 8 months ago
2010
103
Voted
ICLP
2005
Springer
15 years 3 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...