6 search results - page 1 / 2 » Derandomized Parallel Repetition via Structured PCPs |
ECCC
2010
13 years 4 months ago
2010
COCO
2010
Springer
13 years 8 months ago
2010
Springer
A PCP is a proof system for NP in which the proof can be checked by a probabilistic verifier. The verifier is only allowed to read a very small portion of the proof, and in return ...
STOC
2009
ACM
14 years 5 months ago
2009
ACM
The "direct product code" of a function f gives its values on all k-tuples (f(x1), . . . , f(xk)). This basic construct underlies "hardness amplification" in c...
ICMCS
2006
IEEE
13 years 11 months ago
2006
IEEE
The analysis of audio signals of popular and rock songs of the versechorus form to reconstruct its original musical structures is investigated in this work. We first compute the ...
EMNLP
2008
13 years 6 months ago
2008
Automatic processing of medical dictations poses a significant challenge. We approach the problem by introducing a statistical framework capable of identifying types and boundarie...