Formally verified invariants of vote counting schemes.

Florrie Verity Dirk Pattinson

Published in: ACSW (2017)

Keyphrases

database systems
database
databases
artificial intelligence
search engine
bayesian networks
feature vectors
multiresolution
moment invariants