Sciweavers

694 search results - page 84 / 139
» The Power of the Middle Bit
Sort
View
LICS
1999
IEEE
14 years 8 days ago
First-Order Logic vs. Fixed-Point Logic in Finite Set Theory
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
Albert Atserias, Phokion G. Kolaitis
ECCC
2010
73views more  ECCC 2010»
13 years 8 months ago
Matching Vector Codes
An (r, , )-locally decodable code encodes a k-bit message x to an N-bit codeword C(x), such that for every i [k], the i-th message bit can be recovered with probability 1 - , by ...
Zeev Dvir, Parikshit Gopalan, Sergey Yekhanin
AIL
2006
84views more  AIL 2006»
13 years 8 months ago
Meaningful electronic signatures based on an automatic indexing method
Legal information certification and secured storage combined with documents electronic signature are of great interest when digital documents security and conservation are in conce...
Maxime Wack, Ahmed Nait-Sidi-Moh, Sid Lamrous, Nat...
TIT
2008
87views more  TIT 2008»
13 years 8 months ago
Decode-and-Forward Relaying With Quantized Channel State Feedback: An Outage Exponent Analysis
The problem of resource allocation to maximize the outage exponent over a fading relay channel using the decodeand-forward protocol with quantized channel state feedback (CSF) is s...
Thanh Tùng Kim, Giuseppe Caire, Mikael Skog...
TON
2010
90views more  TON 2010»
13 years 6 months ago
On burst transmission scheduling in mobile TV broadcast networks
—In mobile TV broadcast networks, the base station broadcasts TV channels in bursts such that mobile devices can receive a burst of traffic and then turn off their radio frequen...
Mohamed Hefeeda, Cheng-Hsin Hsu