Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless.
Alan J. HuPublished in: Haifa Verification Conference (2007)
Keyphrases
- simulation model
- preprocessing
- information retrieval
- multiscale
- search algorithm
- formal representation
- collision detection
- simulation models
- numerical simulations
- knowledge management
- relational databases
- information technology
- data sets
- multi agent
- similarity measure
- high level
- multimedia
- computer vision
- neural network
- databases