Login / Signup
Verification column.
Neha Rungta
Published in:
ACM SIGLOG News (2017)
Keyphrases
</>
model checking
databases
face verification
formal verification
concurrent systems
knowledge base
learning algorithm
social networks
artificial neural networks
digital images
temporal logic
signature verification
person identification
verification method