335 search results - page 7 / 67 » Compact Proofs of Retrievability |
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
We study the problem of creating highly compressed fulltext index structures for versioned document collections, that is, collections that contain multiple versions of each docume...
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...
CRYPTO
2005
Springer
14 years 1 months ago
2005
Springer
We investigate methods for providing easy-to-check proofs of computational effort. Originally intended for discouraging spam, the concept has wide applicability as a method for co...
VTS
2007
IEEE
14 years 1 months ago
2007
IEEE
Attack resistance has been a critical concern for security-related applications. Various side-channel attacks can be launched to retrieve security information such as encryption k...
ICML
2008
IEEE
14 years 8 months ago
2008
IEEE
Finding good representations of text documents is crucial in information retrieval and classification systems. Today the most popular document representation is based on a vector ...