Computer Verified Exact Analysis (Tutorial).

Bas Spitters Russell O'Connor

Published in: CCA (2009)

Keyphrases

data sets
statistical analysis
quantitative analysis
automatic analysis
genetic algorithm
decision making
bayesian networks
search algorithm