PSPACE has constant-round quantum interactive proof systems.

Published in: Theor. Comput. Sci. (2003)

Keyphrases

artificial neural networks
user interaction
neural network
intelligent systems
real time
learning algorithm
case study
expert systems
retrieval systems
temporal logic
theorem prover
support systems
interactive systems