Simple doubly-efficient interactive proof systems for locally-characterizable sets.
Oded GoldreichGuy N. RothblumPublished in: Electron. Colloquium Comput. Complex. (2017)
Keyphrases
- expert systems
- interactive systems
- distributed systems
- information retrieval
- computer vision
- complex systems
- management system
- user interaction
- computationally efficient
- provably correct
- database
- computationally expensive
- virtual reality
- learning systems
- building blocks
- hidden markov models
- machine learning
- databases
- data sets