Verification column.

Published in: ACM SIGLOG News (2015)

Keyphrases

model checking
signature verification
column oriented
similarity measure
optimal solution
data structure
mobile robot
digital images
face verification
asynchronous circuits
verification method
false acceptance