Eternity variables to prove simulation of specifications.

Wim H. Hesselink

Published in: ACM Trans. Comput. Log. (2005)

Keyphrases

numerical simulations
mathematical model
simulation environment
database
website
high dimensional
variable selection
simulation models
machine learning
genetic algorithm
information systems
decision trees
probability distribution
upper bound
causal models