Logical Reasoning via Satisfiability Mapped into Energy Functions.
Priscila Machado Vieira LimaM. Mariela Morveli-EspinozaGlaucia C. PereiraTalita O. FerreiraFelipe Maia Galvão FrançaPublished in: Int. J. Pattern Recognit. Artif. Intell. (2008)
Keyphrases
- logical reasoning
- energy function
- graph cuts
- energy minimization
- markov random field
- formal semantics
- level set
- active contours
- shape model
- problems in computer vision
- image segmentation
- computational complexity
- segmentation method
- global minimum
- smoothness constraint
- shape prior
- belief propagation
- maximum a posteriori
- orders of magnitude
- approximate solutions
- parameter estimation