Keyphrases
- energy minimization
- logical inference
- graph cuts
- energy function
- markov random field
- theorem proving
- global minimum
- image segmentation
- low level vision
- problems in computer vision
- dual decomposition
- weighted constraint satisfaction
- knowledge compilation
- probabilistic inference
- belief propagation
- logical structure
- max flow
- global minimization
- min cut
- max flow min cut
- higher order
- information extraction
- relational databases
- pairwise