322 search results - page 1 / 65 » Satisfiability Coding Lemma |
FOCS
1997
IEEE
14 years 2 months ago
1997
IEEE
APAL
2006
13 years 11 months ago
2006
We give a short proof of a lemma which generalizes both the main lemma from the original construction in the author's thesis of a model with no 2-Aronszajn trees, and also th...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
Let X be a normed space that satisfies the Johnson-Lindenstrauss lemma (J-L lemma, in short) in the sense that for any integer n and any x1, . . . , xn X there exists a linear ma...
FOCS
2003
IEEE
14 years 4 months ago
2003
IEEE
We show that Yao’s XOR Lemma, and its essentially equivalent rephrasing as a Direct Product Lemma, can be re-interpreted as a way of obtaining error-correcting codes with good l...
DAC
2001
ACM
14 years 12 months ago
2001
ACM
Watermarking of hardware and software designs is an effective mechanism for intellectual property protection (IPP). Two important criteria for watermarking schemes are credibility...