305 search results - page 11 / 61 » From Sets to Bits in Coq |
FOCS
1992
IEEE
15 years 2 months ago
1992
IEEE
We give a new characterization of NP: the class NP contains exactly those languages L for which membership proofs (a proof that an input x is in L) can be verified probabilisticall...
SACRYPT
2001
Springer
15 years 3 months ago
2001
Springer
The encryption system E0, which is the encryption system used in the Bluetooth specification, is examined. In the current paper, a method of deriving the cipher key from a set of ...
115
click to vote
FMN
2010
Springer
15 years 15 days ago
2010
Springer
Video bit rate reduction can be very important for all video streaming application. One of the possible ways to reduce bit rate is decreasing change in time or space domain i.e. ch...
ECCC
2010
14 years 5 months ago
2010
The hybrid argument allows one to relate the distinguishability of a distribution (from uniform) to the predictability of individual bits given a prefix. The argument incurs a los...
105
click to vote
TWC
2011
14 years 5 months ago
2011
Abstract—This paper focuses on quantized channel state information (CSI) feedback for downlink network MIMO systems. Specifically, we propose to quantize and feedback the CSI of...