Most image labeling problems such as segmentation and image reconstruction
are fundamentally ill-posed and suffer from ambiguities and noise. Higher order
image priors encode high level structural dependencies between pixels and are
key to overcoming these problems. However, these priors in general lead to
computationally intractable models. This paper addresses the problem of
discovering compact representations of higher order priors which allow
efficient inference. We propose a framework for solving this problem which uses
a recently proposed representation of higher order functions where they are
encoded as lower envelopes of linear functions. Maximum a Posterior inference
on our learned models reduces to minimizing a pairwise function of discrete
variables, which can be done approximately using standard methods. Although
this is a primarily theoretical paper, we also demonstrate the practical
effectiveness of our framework on the problem of learning a shape prior for
image segmentation and reconstruction. We show that our framework can learn a
compact representation that approximates a prior that encourages low curvature
shapes. We evaluate the approximation accuracy, discuss properties of the
trained model, and show various results for shape inpainting and image
segmentation.

本文提出了一个框架，用于发现高阶先验的简洁表示，使得推理更为高效。我们用先前提出的线性函数的下包络来编码这些先验，最大后验推断可以通过离散变量的成对函数最小化来完成。尽管这是一个主要是理论的论文，我们还在图像分割和重建的问题上展示了我们框架的实际效果，表明它可以学习一个鼓励低曲率形状的先验，并展示了一些形状填补和图像分割的结果。