Equivalence Checking and Simulation By Computing Range Reduction.

Eugene Goldberg

Published in: CoRR (2015)

Keyphrases

wide range
artificial intelligence
simulation environment
databases
mathematical models
simulation model
range data
discrete event simulation
simulation models
numerical simulations
mathematical model
mobile robot
special case
data structure
database systems
image processing
computer vision