Verified Certificate Checking for Counting Votes.

Milad K. Ghale Dirk Pattinson Ramana Kumar Michael Norrish

Published in: VSTTE (2018)

Keyphrases

machine learning
decision making
multiresolution
database
search engine
computer vision
knowledge base
image processing
objective function
learning environment
computational complexity
evolutionary algorithm
special case
verification method