Strongly Normalizing Audited Computation.

Wilmer Ricciotti James Cheney

Published in: CSL (2017)

Keyphrases

database
probabilistic model
data sets
data mining
genetic algorithm
evolutionary algorithm
parallel computation
linear inequalities