Automated Verification of Shape, Size and Bag Properties.

Wei-Ngan Chin Cristina David Huu Hai Nguyen Shengchao Qin

Published in: ICECCS (2007)

Keyphrases

automated verification
model checking
invariant properties
formal verification
automated reasoning
aspect ratio
probabilistic model
medical images
shape features
medial axis
shape matching
multi instance learning