A Low Communication Competitive Interactive Proof System for Promised Quadratic Residuosity.
Toshiya ItohMasafumi HoshiShigeo TsujiiPublished in: CRYPTO (1993)
Keyphrases
- modal logic
- communication networks
- neural network
- user friendly
- high levels
- pairwise
- data visualization
- user interface
- objective function
- artificial intelligence
- real time
- graphical interface
- resource constrained
- service level
- information exchange
- human computer
- database
- information sharing
- virtual reality
- computer graphics
- orders of magnitude
- computational complexity
- computer vision
- data mining