Alternating Simulation and IOCO.

Margus Veanes Nikolaj Bjørner

Published in: ICTSS (2010)

Keyphrases

collision detection
simulation model
machine learning
digital libraries
simulation models
artificial intelligence
image processing
video sequences
database
trade off
mathematical model
simulation study
numerical simulations
data mining
simulation environment
real world
data sets