A framework for automated and certified refinement steps.

Andreas Griesmayer Zhiming Liu Charles Morisset Shuling Wang

Published in: Innov. Syst. Softw. Eng. (2013)

Keyphrases

main contribution
computer vision
data driven
conceptual framework
image segmentation
probabilistic model
computational framework
framework enables
databases
learning algorithm
computational model
data preparation