Partial Verification as a Substitute for Money.

Sofia Ceppi Ian A. Kash Rafael M. Frongillo

Published in: AAAI (2019)

Keyphrases

model checking
face verification
signature verification
formal verification
data sets
machine learning
database
real world
decision making
website
case study
expert systems
relational databases
hidden markov models
person identification
verification method