-
3
-
-
35248857352
-
Testing low-degree polynomials over GF(2)
-
N. Alon, T. Kaufman, M. Krivelevich, S. Litsyn, and D. Ron, Testing low-degree polynomials over GF(2). To appear in Proceedings of Random 2003.
-
Proceedings of Random 2003
-
-
Alon, N.1
Kaufman, T.2
Krivelevich, M.3
Litsyn, S.4
Ron, D.5
-
4
-
-
0035704542
-
Regular languages are testable with a constant number of queries
-
N. Alon, M. Krivelevich, I. Newman, and M. Szegedy, Regular languages are testable with a constant number of queries, SIAM Journal on Computing 30:1842-1862, 2001
-
(2001)
SIAM Journal on Computing
, vol.30
, pp. 1842-1862
-
-
Alon, N.1
Krivelevich, M.2
Newman, I.3
Szegedy, M.4
-
7
-
-
0032058198
-
Proof verification and the hardness of approximation problems
-
S. Arora, C. Lund, R. Motwani, M. Sudan, and M. Szegedy, Proof verification and the hardness of approximation problems, JACM, 45(1):501-555, 1998,
-
(1998)
JACM
, vol.45
, Issue.1
, pp. 501-555
-
-
Arora, S.1
Lund, C.2
Motwani, R.3
Sudan, M.4
Szegedy, M.5
-
8
-
-
85088845032
-
-
preliminary version appeared
-
th FOCS, 1992).
-
(1992)
th FOCS
-
-
-
9
-
-
0031651077
-
Probabilistic checkable proofs: A new characterization of NP
-
S. Arora and S. Safra, Probabilistic checkable proofs: A new characterization of NP. JACM, 45(1):70-122, 1998
-
(1998)
JACM
, vol.45
, Issue.1
, pp. 70-122
-
-
Arora, S.1
Safra, S.2
-
10
-
-
85088844950
-
-
a preliminary version appeared
-
rd FOCS, 1992).
-
(1992)
rd FOCS
-
-
-
13
-
-
0000619172
-
Self testing/correcting with applications to numerical problems
-
M. Blum, M. Luby, and R. Rubinfeld, Self testing/correcting with applications to numerical problems, Journal of Computer and System Sceince 47:549-595, 1993.
-
(1993)
Journal of Computer and System Sceince
, vol.47
, pp. 549-595
-
-
Blum, M.1
Luby, M.2
Rubinfeld, R.3
-
14
-
-
35248882874
-
-
Private communication
-
N. Bshouty, Private communication.
-
-
-
Bshouty, N.1
-
15
-
-
84879526804
-
Testing hypergraph coloring
-
A. Czumaj and C. Sohler, Testing hypergraph coloring, ICALP 2001, 493-505.
-
ICALP 2001
, pp. 493-505
-
-
Czumaj, A.1
Sohler, C.2
-
17
-
-
0034207120
-
Spot-checkers
-
E. Ergün, S. Kannan, R. Kumar, R. Rubinfeld, and M. Viswanathan, Spot-checkers, Journal of Computing and System Science, 60:717-751, 2000
-
(2000)
Journal of Computing and System Science
, vol.60
, pp. 717-751
-
-
Ergün, E.1
Kannan, S.2
Kumar, R.3
Rubinfeld, R.4
Viswanathan, M.5
-
18
-
-
85088844987
-
-
a preliminary version appeared
-
th STOC ,1998).
-
(1998)
th STOC
-
-
-
25
-
-
0012843363
-
Combinatorical property testing - A survey
-
(P. Pardalos, S. Rajasekaran and J. Rolim eds.), AMS-DIMACS
-
O. Goldreich, Combinatorical property testing - a survey, In: Randomized Methods in Algorithms Design (P. Pardalos, S. Rajasekaran and J. Rolim eds.), AMS-DIMACS pages 45-61, 1998 .
-
(1998)
Randomized Methods in Algorithms Design
, pp. 45-61
-
-
Goldreich, O.1
-
26
-
-
0038957516
-
Testing Monotonicity
-
O. Goldreich, S. Goldwasser, E. Lehman, D. Ron, and A. Samorodnitsky, Testing Monotonicity, Combinatorica, 20(3):301-337, 2000
-
(2000)
Combinatorica
, vol.20
, Issue.3
, pp. 301-337
-
-
Goldreich, O.1
Goldwasser, S.2
Lehman, E.3
Ron, D.4
Samorodnitsky, A.5
-
27
-
-
85088844994
-
-
a preliminary version appeared
-
th FOCS, 1998).
-
(1998)
th FOCS
-
-
-
28
-
-
0032108275
-
Propert testing and its connection to learning and approximation
-
O. Goldreich, S. Goldwasser, and D. Ron, Propert testing and its connection to learning and approximation, Journal of the ACM, 45(4):653-750, 1998
-
(1998)
Journal of the ACM
, vol.45
, Issue.4
, pp. 653-750
-
-
Goldreich, O.1
Goldwasser, S.2
Ron, D.3
-
29
-
-
4544283434
-
-
a preliminary version appeared
-
th FOCS, 1996).
-
(1996)
th FOCS
-
-
-
31
-
-
0035175795
-
Three theorems regarding testing graph properties
-
O. Goldreich and L. Trevisan, Three theorems regarding testing graph properties. In Proceedings of FOCS 2001, pages 460-469.
-
(2001)
Proceedings of FOCS
-
-
Goldreich, O.1
Trevisan, L.2
-
39
-
-
0013370155
-
Property testing (a tutorial)
-
(S. Rajasekaran, P. M. Pardalos, J. H. Reif and J. D. P. Rolin eds), Kluwer Press
-
D. Ron, Property testing (a tutorial), In: Handbook of Randomized Computing (S. Rajasekaran, P. M. Pardalos, J. H. Reif and J. D. P. Rolin eds), Kluwer Press (2001).
-
(2001)
Handbook of Randomized Computing
-
-
Ron, D.1
-
40
-
-
0033147353
-
Robust functional equations and their applications to program testing
-
R. Rubinfeld, Robust functional equations and their applications to program testing. In: SIAM Journal on Computing, 28(6):1972-1997, 1999
-
(1999)
SIAM Journal on Computing
, vol.28
, Issue.6
, pp. 1972-1997
-
-
Rubinfeld, R.1
-
42
-
-
0030128622
-
Robust characterization of polynomials with applocations to program testing
-
first appeared as a technical report, Cornell University, 1993
-
R. Rubinfeld and M. Sudan, Robust characterization of polynomials with applocations to program testing, SIAM Journal of Computing, 25(2):252-271, 1996. (first appeared as a technical report, Cornell University, 1993).
-
(1996)
SIAM Journal of Computing
, vol.25
, Issue.2
, pp. 252-271
-
-
Rubinfeld, R.1
Sudan, M.2
|