Precise interprocedural analysis using random interpretation.

Sumit Gulwani George C. Necula

Published in: POPL (2005)

Keyphrases

object recognition
medical images
quantitative analysis
database
databases
real world
genetic algorithm
multimedia
multiscale
objective function
pattern recognition
lower bound
pairwise
image analysis
statistical analysis
image interpretation