Verifiable Stream Computation and Arthur-Merlin Communication.
Amit ChakrabartiGraham CormodeAndrew McGregorJustin ThalerSuresh VenkatasubramanianPublished in: Computational Complexity Conference (2015)
Keyphrases
- data streams
- sufficient conditions
- sliding window
- communication systems
- communication networks
- real time
- computer vision
- information systems
- communication patterns
- communication overhead
- information sharing
- communication protocols
- efficient computation
- information exchange
- query processing
- case study
- website
- neural network