Brief Announcement: Distributed Quantum Interactive Proofs.
François Le GallMasayuki MiyamotoHarumichi NishimuraPublished in: DISC (2022)
Keyphrases
- distributed systems
- distributed environment
- lightweight
- user interaction
- neural network
- cooperative
- data mining
- user friendly
- theorem proving
- distributed data
- data visualization
- graphical interface
- distributed learning
- decision procedures
- communication overhead
- loosely coupled
- distributed database systems
- computing environments
- real time
- mobile agents
- artificial intelligence
- computer vision