Login / Signup

Verification column.

Ranko Lazic
Published in: ACM SIGLOG News (2022)
Keyphrases
  • model checking
  • face verification
  • database
  • formal analysis
  • signature verification
  • concurrent systems
  • column oriented
  • real time
  • data sets
  • genetic algorithm
  • verification method
  • handwritten signature verification