Cyclic Proofs with Ordering Constraints.

Sorin Stratulat

Published in: TABLEAUX (2017)

Keyphrases

ordering constraints
graph cuts
graph cut segmentation
htn planning
semantic segmentation
energy function
smoothness constraint
shape prior
computer vision
higher order
object detection
weakly supervised