Login / Signup
Interactive proofs with competing teams of no-signaling provers.
Gus Gutoski
Published in:
Electron. Colloquium Comput. Complex. (2010)
Keyphrases
</>
theorem prover
theorem proving
neural network
cooperative
interactive video
database
information systems
computer graphics
inference rules
virtual reality
robotic soccer
highly interactive
virtual teams
team members
user friendly
user interaction
computer vision
genetic algorithm
data sets
real time