Scoot: A Tool for the Analysis of SystemC Models.

Nicolas Blanc Daniel Kroening Natasha Sharygina

Published in: TACAS (2008)

Keyphrases

empirical data
statistical models
analysis tool
decision trees
face recognition
expert systems
parameter estimation
real time
statistical analysis
prior knowledge
classification models
model selection
maximum likelihood
image analysis
multi agent systems
case study
image processing
computer vision