"CONFESS". Eliciting Honest Feedback Without Independent Verification Authorities.

Radu Jurca Boi Faltings

Published in: AMEC (2004)

Keyphrases

model checking
neural network
web services
formal methods
formal verification
verification method
database
artificial intelligence
knowledge base
website
probability distribution
user feedback
face verification