335 search results - page 3 / 67 » Compact Proofs of Retrievability |
135
Voted
ICMCS
2007
IEEE
15 years 7 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...
111
Voted
CVPR
2006
IEEE
16 years 3 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...
77
Voted
DAGM
2003
Springer
15 years 6 months ago
2003
Springer
79
Voted
IJPRAI
2010
14 years 11 months ago
2010
132
Voted
ICLP
2005
Springer
15 years 6 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...