• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Proving the monotonicity criterion for a plurality vote-counting program as a step towards verified vote-counting.

Rajeev GoréThomas Meumann
Published in: EVOTE (2014)
Keyphrases
  • voting schemes
  • e learning
  • mutual information
  • real time
  • neural network
  • artificial intelligence
  • relational databases
  • post processing