Sign in

Correct or usable? the limits of traditional verification (impact paper award).

Daniel JacksonMandana Vaziri
Published in: SIGSOFT FSE (2016)
Keyphrases
  • neural network
  • information retrieval
  • digital libraries
  • multiresolution
  • real world
  • face verification
  • formal analysis
  • factors that influence
  • cryptographic protocols
  • verification method