Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models.

Mark Marron Manuel V. Hermenegildo Deepak Kapur Darko Stefanovic

Published in: CC (2008)

Keyphrases

context sensitive
shape analysis
shape representation
probabilistic model
shape descriptors
language model
medical imaging
shape properties
image analysis and pattern recognition
three dimensional
x ray
statistical model
multiword