Verified Computations Using Taylor Models and Their Applications.

Kyoko Makino Martin Berz

Published in: NSV@CAV (2017)

Keyphrases

statistical models
real time
image processing
prior knowledge
statistical model
experimental data
databases
neural network
real world
data mining
machine learning
genetic algorithm
evolutionary algorithm
mathematical models
accurate models