6 search results - page 1 / 2 » Derandomized Parallel Repetition via Structured PCPs |
58
Voted
ECCC
2010
14 years 9 months ago
2010
103
Voted
COCO
2010
Springer
15 years 24 days 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 ...
91
Voted
STOC
2009
ACM
15 years 10 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...
83
Voted
ICMCS
2006
IEEE
15 years 3 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
14 years 11 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...