Computational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic Perspective.

Krishna V. Palem

Published in: Verification: Theory and Practice (2003)

Keyphrases

search engine
data mining algorithms
probabilistic approaches
viewpoint
theoretical analysis
orders of magnitude
times faster
data mining
genetic algorithm
case study
bayesian networks
worst case
computationally efficient
information theoretic
cutting plane