Verified Computation with Probabilities.

Scott Ferson Jack Siegrist

Published in: WoCoUQ (2011)

Keyphrases

reinforcement learning
probability distribution
neural network
machine learning
genetic algorithm
data structure
digital libraries
information technology