Login / Signup
Verification column.
Andrey Rybalchenko
Published in:
ACM SIGLOG News (2014)
Keyphrases
</>
real time
model checking
machine learning
artificial neural networks
concurrent systems
asynchronous circuits
information retrieval
knowledge base
database systems
feature extraction
multiscale
learning environment
formal analysis
signature verification
person identification
handwritten signature verification