305 search results - page 9 / 61 » From Sets to Bits in Coq |
SIGMOD
2001
ACM
15 years 10 months ago
2001
ACM
The bit-sliced index (BSI) was originally defined in [ONQ97]. The current paper introduces the concept of BSI arithmetic. For any two BSI's X and Y on a table T, we show how ...
TROB
2002
14 years 10 months ago
2002
We describe a one-joint planar arm which repeatedly throws and catches parts on its surface, and we demonstrate that proper choice of the throw velocity and arm geometry guarantees...
ISNN
2005
Springer
15 years 4 months ago
2005
Springer
Recently, a mathematical proof is obtained in (Liu, Chiu, Xu, 2004) on the so called one-bit-matching conjecture that all the sources can be separated as long as there is an one-to...
SPAA
2010
ACM
14 years 11 months ago
2010
ACM
We study the communication complexity of rumor spreading in the random phone-call model. Suppose n players communicate in parallel rounds, where in each round every player calls a...
PE
2007
Springer
14 years 10 months ago
2007
Springer
Among all peer-to-peer (P2P) systems, BitTorrent seems to be the most prevalent one. This success has drawn a great deal of research interest on the system. In particular, there h...