메뉴 건너뛰기




Volumn , Issue , 2003, Pages 116-125

Locally testable cyclic codes

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; DECODING; POLYNOMIALS; RANDOM PROCESSES; THEOREM PROVING;

EID: 0344118897     PISSN: 02725428     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (9)

References (23)
  • 2
    • 0032058198 scopus 로고    scopus 로고
    • Proof verification and intractability of approximation problems
    • S. Arora, C. Lund, R. Motwani, M. Sudan, M. Szegedy: Proof Verification and Intractability of Approximation Problems. J. ACM 45 (1998), 501-555.
    • (1998) J. ACM , vol.45 , pp. 501-555
    • Arora, S.1    Lund, C.2    Motwani, R.3    Sudan, M.4    Szegedy, M.5
  • 3
    • 0031651077 scopus 로고    scopus 로고
    • Probabilistically checkable proofs: A new characterization of NP
    • S. Arora, M. Safra: Probabilistically Checkable Proofs: A New Characterization of NP. J. ACM 45 (1998), 70-122.
    • (1998) J. ACM , vol.45 , pp. 70-122
    • Arora, S.1    Safra, M.2
  • 4
    • 0040553020 scopus 로고
    • Representation of group elements as short products
    • In "Theory and Practice of Combinatorics" (A. Rosa, G. Sabidussi, J. Turgeon eds.)
    • L. Babai, P. Erdös: Representation of group elements as short products. In "Theory and Practice of Combinatorics" (A. Rosa, G. Sabidussi, J. Turgeon eds.) Annals of Discrete Math. 12 (1982), 27-30.
    • (1982) Annals of Discrete Math. , vol.12 , pp. 27-30
    • Babai, L.1    Erdös, P.2
  • 5
    • 0002771903 scopus 로고
    • Nondeterministic exponential time has two-prover interactive protocols
    • L. Babai, L. Fortnow, C. Lund: Nondeterministic exponential time has two-prover interactive protocols. Computational Complexity 1 (1991), 3-40.
    • (1991) Computational Complexity , vol.1 , pp. 3-40
    • Babai, L.1    Fortnow, L.2    Lund, C.3
  • 8
    • 25044436332 scopus 로고    scopus 로고
    • Bounds on 2-query codeword testing
    • ECCC Report TR03-019
    • E. Ben Sasson, O. Goldreich, M. Sudan: Bounds on 2-Query Codeword Testing. ECCC Report TR03-019 (2003).
    • (2003)
    • Ben Sasson, E.1    Goldreich, O.2    Sudan, M.3
  • 9
    • 0038784507 scopus 로고    scopus 로고
    • Randomness-efficient low degree tests and short PCPs via epsilon-biased sets
    • E. Ben Sasson, M. Sudan, S. Vadhan, A. Wigderson: Randomness-efficient low degree tests and short PCPs via epsilon-biased sets. 35th ACM STOC, 2003, pp. 612-621.
    • (2003) 35th ACM STOC , pp. 612-621
    • Ben Sasson, E.1    Sudan, M.2    Vadhan, S.3    Wigderson, A.4
  • 10
    • 0001831583 scopus 로고
    • Semisimple cyclic and abelian codes
    • S. D. Berman: Semisimple Cyclic and Abelian Codes. Cybernetics 3 (1967), 21-30.
    • (1967) Cybernetics , vol.3 , pp. 21-30
    • Berman, S.D.1
  • 11
    • 0000619172 scopus 로고
    • Self-testing/correcting with application to numerical problems
    • M. Blum, M. Luby, R. Rubinfield: Self-Testing/Correcting with Application to Numerical Problems. JCSS 47(3) (1993), 549-595.
    • (1993) JCSS , vol.47 , Issue.3 , pp. 549-595
    • Blum, M.1    Luby, M.2    Rubinfield, R.3
  • 13
    • 0042632392 scopus 로고    scopus 로고
    • A search for Wieferich and Wilson primes
    • R. Crandall, K. Dilcher, C. Pomerance: A search for Wieferich and Wilson primes. Math. Comp. 66 (1997), 433-449.
    • (1997) Math. Comp. , vol.66 , pp. 433-449
    • Crandall, R.1    Dilcher, K.2    Pomerance, C.3
  • 17
    • 0036949141 scopus 로고    scopus 로고
    • Locally testable codes and PCPs of almost linear length
    • O. Goldreich, M. Sudan: Locally testable codes and PCPs of almost linear length. 43rd IEEE FOCS, 2002, pp. 13-22.
    • 43rd IEEE FOCS, 2002 , pp. 13-22
    • Goldreich, O.1    Sudan, M.2
  • 18
    • 0033720713 scopus 로고    scopus 로고
    • On the efficiency of local decoding procedures for error-correcting codes
    • J. Katz, L. Trevisan: On the efficiency of local decoding procedures for error-correcting codes. 32nd ACM STOC, 2000, pp. 80-86.
    • 32nd ACM STOC, 2000 , pp. 80-86
    • Katz, J.1    Trevisan, L.2
  • 19
    • 0038107747 scopus 로고    scopus 로고
    • Exponential lower bound for 2-query locally decodable codes via a quantum argument
    • I. Kerenidis, R. De Wolf: Exponential lower bound for 2-query locally decodable codes via a quantum argument. 35th ACM STOC, 2003, pp. 106-115.
    • 35th ACM STOC, 2003 , pp. 106-115
    • Kerenidis, I.1    De Wolf, R.2
  • 22
    • 0344407409 scopus 로고
    • Cyclic error-correcting codes in two symbols
    • Technical report AFCRC-TN-57-103, Air Force Cambridge Research Center, Cambridge, Mass.
    • E. Prange: Cyclic Error-Correcting codes in two symbols. Technical report AFCRC-TN-57-103, Air Force Cambridge Research Center, Cambridge, Mass. 1957.
    • (1957)
    • Prange, E.1
  • 23
    • 0011032035 scopus 로고
    • Zum letzten Fermat'schen Theorem
    • A. Wieferich: Zum letzten Fermat'schen Theorem. J. Reine Angew. Math. 136 (1909), 293-302.
    • (1909) J. Reine Angew. Math. , vol.136 , pp. 293-302
    • Wieferich, A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.