FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1755536430> ?p ?o ?g. }

• W1755536430 endingPage "243" @default.
• W1755536430 startingPage "217" @default.
• W1755536430 abstract "In the setting of streaming proofs (SIPs), a client (verifier) needs to compute a given function on a massive stream of data, arriving online, but is unable to store even a small fraction of the data. It outsources the processing to a third party service (prover), but is unwilling to blindly trust answers returned by this service. Thus, the service cannot simply supply the desired answer; it must convince the verifier of its correctness via a short interaction after the stream has been seen.In this work we study barely interactive SIPs. Specifically, we show that two or three rounds of interaction suffice to solve several query problems -- including Index, Median, Nearest Neighbor Search, Pattern Matching, and Range Counting -- with polylogarithmic space and communication costs. Such efficiency with O(1) rounds of interaction was thought to be impossible based on previous work.On the other hand, we initiate a formal study of the limitations of constant-round SIPs by introducing a new hierarchy of communication models called Online Interactive Proofs (OIPs). The online nature of these models is analogous to the streaming restriction placed upon the verifier in an SIP. We give upper and lower bounds that (1) characterize, up to quadratic blowups, every finite level of the OIP hierarchy in terms of other well-known communication complexity classes, (2) separate the first four levels of the hierarchy, and (3) reveal that the hierarchy collapses to the fourth level. Our study of OIPs reveals marked contrasts and some parallels with the classic Turing Machine theory of proofs, establishes limits on the power of existing techniques for developing constant-round SIPs, and provides a new characterization of (non-online) Arthur--Merlin communication in terms of an online model." @default.
• W1755536430 created "2016-06-24" @default.
• W1755536430 creator A5031896681 @default.
• W1755536430 creator A5061790878 @default.
• W1755536430 creator A5080601320 @default.
• W1755536430 creator A5084208266 @default.
• W1755536430 creator A5084897290 @default.
• W1755536430 date "2015-06-17" @default.
• W1755536430 modified "2023-09-23" @default.
• W1755536430 title "Verifiable stream computation and arthur-merlin communication" @default.
• W1755536430 cites W1233382225 @default.
• W1755536430 cites W1481582196 @default.
• W1755536430 cites W1516980263 @default.
• W1755536430 cites W1595409123 @default.
• W1755536430 cites W1608916152 @default.
• W1755536430 cites W1686241726 @default.
• W1755536430 cites W1967066104 @default.
• W1755536430 cites W1970606468 @default.
• W1755536430 cites W1980223785 @default.
• W1755536430 cites W1983849809 @default.
• W1755536430 cites W1984477611 @default.
• W1755536430 cites W1984976620 @default.
• W1755536430 cites W1996146326 @default.
• W1755536430 cites W2003373949 @default.
• W1755536430 cites W2026480251 @default.
• W1755536430 cites W2027214648 @default.
• W1755536430 cites W2029844502 @default.
• W1755536430 cites W2039487342 @default.
• W1755536430 cites W2041068798 @default.
• W1755536430 cites W2042518617 @default.
• W1755536430 cites W2049982182 @default.
• W1755536430 cites W2070486524 @default.
• W1755536430 cites W2080745194 @default.
• W1755536430 cites W2082647621 @default.
• W1755536430 cites W2083983739 @default.
• W1755536430 cites W2086076777 @default.
• W1755536430 cites W2089797683 @default.
• W1755536430 cites W2096390054 @default.
• W1755536430 cites W2107917944 @default.
• W1755536430 cites W2109833455 @default.
• W1755536430 cites W2110814195 @default.
• W1755536430 cites W2120210041 @default.
• W1755536430 cites W2125608006 @default.
• W1755536430 cites W2128633442 @default.
• W1755536430 cites W2131726773 @default.
• W1755536430 cites W2134677596 @default.
• W1755536430 cites W2137705 @default.
• W1755536430 cites W2146099890 @default.
• W1755536430 cites W2146688002 @default.
• W1755536430 cites W2148957455 @default.
• W1755536430 cites W2161214567 @default.
• W1755536430 cites W2163605617 @default.
• W1755536430 cites W2165292791 @default.
• W1755536430 cites W2176939845 @default.
• W1755536430 cites W2293988196 @default.
• W1755536430 cites W2344201262 @default.
• W1755536430 cites W2405744206 @default.
• W1755536430 cites W2912272112 @default.
• W1755536430 cites W2964279767 @default.
• W1755536430 cites W3010672433 @default.
• W1755536430 cites W998887031 @default.
• W1755536430 doi "https://doi.org/10.5555/2833227.2833238" @default.
• W1755536430 hasPublicationYear "2015" @default.
• W1755536430 type Work @default.
• W1755536430 sameAs 1755536430 @default.
• W1755536430 citedByCount "4" @default.
• W1755536430 countsByYear W17555364302015 @default.
• W1755536430 countsByYear W17555364302019 @default.
• W1755536430 countsByYear W17555364302020 @default.
• W1755536430 crossrefType "proceedings-article" @default.
• W1755536430 hasAuthorship W1755536430A5031896681 @default.
• W1755536430 hasAuthorship W1755536430A5061790878 @default.
• W1755536430 hasAuthorship W1755536430A5080601320 @default.
• W1755536430 hasAuthorship W1755536430A5084208266 @default.
• W1755536430 hasAuthorship W1755536430A5084897290 @default.
• W1755536430 hasConcept C108710211 @default.
• W1755536430 hasConcept C11413529 @default.
• W1755536430 hasConcept C159718280 @default.
• W1755536430 hasConcept C162324750 @default.
• W1755536430 hasConcept C177264268 @default.
• W1755536430 hasConcept C179145077 @default.
• W1755536430 hasConcept C199360897 @default.
• W1755536430 hasConcept C2524010 @default.
• W1755536430 hasConcept C29248071 @default.
• W1755536430 hasConcept C31170391 @default.
• W1755536430 hasConcept C33923547 @default.
• W1755536430 hasConcept C34447519 @default.
• W1755536430 hasConcept C41008148 @default.
• W1755536430 hasConcept C45374587 @default.
• W1755536430 hasConcept C55439883 @default.
• W1755536430 hasConcept C80444323 @default.
• W1755536430 hasConcept C85847156 @default.
• W1755536430 hasConceptScore W1755536430C108710211 @default.
• W1755536430 hasConceptScore W1755536430C11413529 @default.
• W1755536430 hasConceptScore W1755536430C159718280 @default.
• W1755536430 hasConceptScore W1755536430C162324750 @default.
• W1755536430 hasConceptScore W1755536430C177264268 @default.
• W1755536430 hasConceptScore W1755536430C179145077 @default.

• next