Symbolic Simulation: An ACL2 Approach.

J. Strother Moore

Published in: FMCAD (1998)

Keyphrases

simulation study
numerical simulations
simulation model
computer vision
cooperative
simulation models
data sets
databases
machine learning
information retrieval
artificial intelligence
decision making
face recognition
simulation software