On the Problem of Weighted Max-DL-SAT and its Application to Image Labeling.

Stefan Scheglmann Carsten Saathoff Steffen Staab

Published in: Description Logics (2011)

Keyphrases

image labeling
description logics
conditional random fields
satisfiability problem
sat solvers
image segmentation
structured prediction
crf model
machine learning
knowledge base
multiscale