Matches in SemOpenAlex for { <https://semopenalex.org/work/W2094878497> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2094878497 abstract "The study of self-testing/correcting programs was introduced in [8] in order to allow one to use program P to compute function f without trusting that P works correctly. A self-tester for f estimates the fraction of x for which P (x) = f(x); and a self-corrector for f takes a program that is correct on most inputs and turns it into a program that is correct on every input with high probability . Both access P only as a black-box and in some precise way are not allowed to compute the function f . Self-correcting is usually easy when the function has the random self-reducibility property. One class of such functions that has this property is the class of multivariate polynomials over finite fields [4] [12]. We extend this result in two directions. First, we show that polynomials are random self-reducible over more general domains: specifically, over the rationals and over noncommutative rings. Second, we show that one can get self-correctors even when the program satisfies weaker conditions, i.e. when the program has more errors, or when the program behaves in a more adversarial manner by changing the function it computes between successive calls. Self-testing is a much harder task. Previously it was known how to self-test for a few special examples of functions, such as the class of linear functions. We show that one can self-test the whole class of polynomial functions over Zp for prime p. ∗U.C. Berkeley. Supported by NSF Grant No. CCR 8813632 †Princeton University. ‡Princeton University. Supported by DIMACS (Center for Discrete Mathematics and Theoretical Computer Science), NSF-STC88-09648. §U.C. Berkeley. Part of this work was done while this author was visiting IBM Almaden. ¶Hebrew University and Princeton University. Partially supported by the Wolfson Research Awards administered by the Israel Academy of Sciences and Humanities. 1[12] independently introduces a notion which is essentially equivalent to self-correcting. We initiate the study of self-testing (and self-correcting) programs which only approximately compute f . This setting captures in particular the digital computation of real valued functions. We present a rigorous framework and obtain the first results in this area: namely that the class of linear functions, the log function and floating point exponentiation can be self-tested. All of the above functions also have self-correctors." @default.
- W2094878497 created "2016-06-24" @default.
- W2094878497 creator A5008838775 @default.
- W2094878497 creator A5017844316 @default.
- W2094878497 creator A5032171459 @default.
- W2094878497 creator A5039043184 @default.
- W2094878497 creator A5041567023 @default.
- W2094878497 date "1991-01-01" @default.
- W2094878497 modified "2023-10-16" @default.
- W2094878497 title "Self-testing/correcting for polynomials and for approximate functions" @default.
- W2094878497 cites W1501278571 @default.
- W2094878497 cites W1596412683 @default.
- W2094878497 cites W172514487 @default.
- W2094878497 cites W2004315837 @default.
- W2094878497 cites W2033361557 @default.
- W2094878497 cites W2052207834 @default.
- W2094878497 cites W2064759901 @default.
- W2094878497 cites W2096390054 @default.
- W2094878497 cites W2097206148 @default.
- W2094878497 cites W2103998840 @default.
- W2094878497 cites W2113244484 @default.
- W2094878497 cites W2134839489 @default.
- W2094878497 cites W2404357654 @default.
- W2094878497 doi "https://doi.org/10.1145/103418.103429" @default.
- W2094878497 hasPublicationYear "1991" @default.
- W2094878497 type Work @default.
- W2094878497 sameAs 2094878497 @default.
- W2094878497 citedByCount "137" @default.
- W2094878497 countsByYear W20948784972012 @default.
- W2094878497 countsByYear W20948784972013 @default.
- W2094878497 countsByYear W20948784972014 @default.
- W2094878497 countsByYear W20948784972015 @default.
- W2094878497 countsByYear W20948784972016 @default.
- W2094878497 countsByYear W20948784972017 @default.
- W2094878497 countsByYear W20948784972018 @default.
- W2094878497 countsByYear W20948784972019 @default.
- W2094878497 countsByYear W20948784972020 @default.
- W2094878497 countsByYear W20948784972021 @default.
- W2094878497 countsByYear W20948784972022 @default.
- W2094878497 countsByYear W20948784972023 @default.
- W2094878497 crossrefType "proceedings-article" @default.
- W2094878497 hasAuthorship W2094878497A5008838775 @default.
- W2094878497 hasAuthorship W2094878497A5017844316 @default.
- W2094878497 hasAuthorship W2094878497A5032171459 @default.
- W2094878497 hasAuthorship W2094878497A5039043184 @default.
- W2094878497 hasAuthorship W2094878497A5041567023 @default.
- W2094878497 hasBestOaLocation W20948784972 @default.
- W2094878497 hasConcept C136119220 @default.
- W2094878497 hasConcept C202444582 @default.
- W2094878497 hasConcept C33923547 @default.
- W2094878497 hasConcept C41008148 @default.
- W2094878497 hasConceptScore W2094878497C136119220 @default.
- W2094878497 hasConceptScore W2094878497C202444582 @default.
- W2094878497 hasConceptScore W2094878497C33923547 @default.
- W2094878497 hasConceptScore W2094878497C41008148 @default.
- W2094878497 hasLocation W20948784971 @default.
- W2094878497 hasLocation W20948784972 @default.
- W2094878497 hasOpenAccess W2094878497 @default.
- W2094878497 hasPrimaryLocation W20948784971 @default.
- W2094878497 hasRelatedWork W1587224694 @default.
- W2094878497 hasRelatedWork W1979597421 @default.
- W2094878497 hasRelatedWork W2007980826 @default.
- W2094878497 hasRelatedWork W2061531152 @default.
- W2094878497 hasRelatedWork W2077600819 @default.
- W2094878497 hasRelatedWork W2748952813 @default.
- W2094878497 hasRelatedWork W2899084033 @default.
- W2094878497 hasRelatedWork W3002753104 @default.
- W2094878497 hasRelatedWork W4225152035 @default.
- W2094878497 hasRelatedWork W4245490552 @default.
- W2094878497 isParatext "false" @default.
- W2094878497 isRetracted "false" @default.
- W2094878497 magId "2094878497" @default.
- W2094878497 workType "article" @default.