Distractorless Authorship Verification.

John Noecker Jr.Michael Ryan

Published in: LREC (2012)

Keyphrases

email
model checking
formal verification
face verification
real world
verification method
database
machine learning
case study
multi agent
control system
distributed systems
formal methods
concurrent systems
functional verification