322 search results - page 1 / 65 » Satisfiability Coding Lemma |
FOCS
1997
IEEE
13 years 8 months ago
1997
IEEE
APAL
2006
13 years 5 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 5 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
13 years 10 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 5 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...