305 search results - page 35 / 61 » From Sets to Bits in Coq |
106
click to vote
DMIN
2007
15 years 11 days ago
2007
- Several algorithms have been introduced for mining frequent itemsets. The recent datasettransformation approach suffers either from the possible increasing in the number of struc...
89
Voted
ICMCS
2009
IEEE
14 years 8 months ago
2009
IEEE
In this paper, we study the collision property of one of the robust hash functions proposed in [1]. This method was originally proposed for robust hash generation from blocks of i...
211
click to vote
SISAP
2011
IEEE
14 years 1 months ago
2011
IEEE
In this paper we present a novel technique for nearest neighbor searching dubbed neighborhood approximation. The central idea is to divide the database into compact regions repres...
124
Voted
CISC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Despite many good (secure) key agreement protocols based on publickey cryptography exist, secure associations between two wireless devices are often established using sym...
78
Voted
NSDI
2007
15 years 1 months ago
2007
Many contemporary approaches for speeding up large file transfers attempt to download chunks of a data object from multiple sources. Systems such as BitTorrent quickly locate sou...