-Special-Sound Interactive Proofs.
Thomas AttemaSerge FehrMichael KlooßNicolas ReschPublished in: IACR Cryptol. ePrint Arch. (2023)
Keyphrases
- user interaction
- interactive video
- virtual reality
- user friendly
- product configuration
- interactive learning
- data visualization
- real time
- databases
- special features
- graphical interface
- decision procedures
- theorem prover
- database
- hidden markov models
- search algorithm
- image sequences
- three dimensional
- learning algorithm
- information retrieval
- data mining