Login / Signup

Verification Column.

Ranko Lazic
Published in: ACM SIGLOG News (2019)
Keyphrases
  • face verification
  • real time
  • model checking
  • formal verification
  • asynchronous circuits
  • website
  • three dimensional
  • probabilistic model
  • signature verification
  • person identification