Termination Proofs Using gpo Ordering Constraints.

Thomas Genet Isabelle Gnaedig

Published in: TAPSOFT (1997)

Keyphrases

ordering constraints
htn planning
graph cuts
graph cut segmentation
semantic segmentation
smoothness constraint
shape prior
integer program
image segmentation
probabilistic model
orders of magnitude
energy function
deformable models
image pixels