Modular Formalisation and Verification of STV Algorithms.
Milad K. GhaleRajeev GoréDirk PattinsonMukesh TiwariPublished in: E-Vote-ID (2018)
Keyphrases
- learning algorithm
- bayesian networks
- neural network
- combinatorial optimization
- orders of magnitude
- computationally efficient
- computational cost
- computational complexity
- data structure
- computer vision
- website
- information systems
- significant improvement
- worst case
- optimization problems
- social networks
- search engine
- data sets
- recently developed
- formal analysis