54 search results - page 2 / 11 » A New Interactive Hashing Theorem |
ACSD
2001
IEEE
13 years 10 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
CVPR
2010
IEEE
14 years 20 days ago
2010
IEEE
The explosive growth of the vision data motivates the recent studies on efficient data indexing methods such as locality-sensitive hashing (LSH). Most existing approaches perform...
ICML
2009
IEEE
14 years 1 months ago
2009
IEEE
Empirical evidence suggests that hashing is an effective strategy for dimensionality reduction and practical nonparametric estimation. In this paper we provide exponential tail bo...
JAR
2007
13 years 7 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
ICC
2009
IEEE
13 years 4 months ago
2009
IEEE
Cryptographic hash functions are often built on block ciphers in order to reduce the security of the hash to that of the cipher, and to minimize the hardware size. Proven secure co...