When Simulation Meets Antichains.

Parosh Aziz Abdulla Yu-Fang Chen Lukás Holík Richard Mayr Tomás Vojnar

Published in: TACAS (2010)

Keyphrases

simulation models
simulation model
three dimensional
collision detection
wide range
artificial intelligence
databases
real time
website
decision trees
image segmentation
database
database systems
video sequences
cooperative
special case
machine learning