Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors.

Christopher L. Conway Dennis Dams Kedar S. Namjoshi Clark W. Barrett

Published in: SAS (2008)

Keyphrases

data analysis
statistical analysis
trade off
medical images
data sets
databases
neural network
artificial intelligence
computer vision
image processing
feature extraction
support vector
digital libraries
image analysis
quantitative analysis
automatic analysis