A Framework for Combining Analysis and Verification.
Nevin HeintzeJoxan JaffarRazvan VoicuPublished in: POPL (2000)
Keyphrases
- main contribution
- statistical analysis
- framework enables
- analysis tool
- formal analysis
- artificial intelligence
- image processing
- multiscale
- quantitative analysis
- lightweight
- medical images
- probabilistic model
- expert systems
- data sets
- feature extraction
- image sequences
- information systems
- learning algorithm
- information retrieval
- neural network
- databases