Automated Analysis of Data-Dependent Programs with Dynamic Memory.

Parosh Aziz Abdulla Muhsin Atto Jonathan Cederberg Ran Ji

Published in: ATVA (2009)

Keyphrases

data dependent
automated analysis
biomedical imaging
visual analysis
risk bounds
generalization bounds
rademacher complexity
input image
edge detection
segmentation algorithm
hash functions