Verification column.

Published in: ACM SIGLOG News (2020)

Keyphrases

model checking
data sets
information retrieval
face verification
asynchronous circuits
verification method
false acceptance rate
real time
decision making
image processing
website
three dimensional
singular value decomposition
fingerprint verification
concurrent systems