Segmentation of Stochastic Images using ... - Jacobs University
Segmentation of Stochastic Images using ... - Jacobs University
Segmentation of Stochastic Images using ... - Jacobs University
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Chapter 2 Image <strong>Segmentation</strong> and Limitations<br />
✈<br />
✈<br />
✈<br />
✈<br />
✈<br />
✈<br />
✈✘ ✘ ✘ v k<br />
✎☞<br />
w 7<br />
✍✌ jk<br />
✘✘✘<br />
✈ v j<br />
✘ ✘ ✘ e i j<br />
✘✈<br />
✘ ✘ v i<br />
Figure 2.2: The graph generated from a 3 × 3 image contains 9 nodes and 12 edges. The edges e mn<br />
connect the nodes (the black dots) v l . Every edge e mn has a weight w mn describing the<br />
costs for traveling along this edge.<br />
2.2.1 Relation to the Dirichlet Problem<br />
The simulation <strong>of</strong> an infinite number <strong>of</strong> random walks is equivalent to solving a combinatorial Dirichlet<br />
problem [45,59]. Therefore, we review the Dirichlet problem in this section and show its relation<br />
to random walks. The Dirichlet integral is<br />
R[u] = 1 ∫<br />
|∇u| 2 dx . (2.7)<br />
2<br />
D<br />
A minimizer <strong>of</strong> the Dirichlet integral is a harmonic function, i.e. a function satisfying ∆u = 0 and the<br />
prescribed boundary conditions. The Dirichlet integral presented above is only useful for graphs with<br />
equal weights, for different weights we have to use a Dirichlet integral that respects these weights:<br />
R w [u] = 1 ∫<br />
w(x)|∇u| 2 dx . (2.8)<br />
2<br />
D<br />
A minimizer <strong>of</strong> (2.8) is a function that satisfies ∇ · (w∇u) = 0. To compute the minimizer <strong>of</strong> the<br />
discrete Dirichlet problem, i.e. to find a minimizer <strong>of</strong> the discrete version <strong>of</strong> (2.8), we introduce the<br />
combinatorial Laplacian matrix:<br />
⎧<br />
⎨ d i if i = j<br />
L i j = −w i j if v i and v j are adjacent nodes<br />
(2.9)<br />
⎩<br />
0 otherwise .<br />
Using the combinatorial Laplacian matrix, the graph discrete version <strong>of</strong> (2.8) is<br />
R[x] = 1 2 xT Lx , (2.10)<br />
where x is a vector containing all nodes/pixels <strong>of</strong> the graph resp. the image, i.e. x = (v 1 ,...,v n ).<br />
The user prescribes seed points V M = V O ∪V B for the object V O and background V B , see Fig. 2.3.<br />
These points act as boundary conditions for the Dirichlet problem, because the probability that a<br />
random walk starting at a seed point reaches it is one. The unseeded points V U are the degrees <strong>of</strong><br />
freedom. Reordering the nodes according to the set they belong to, (2.10) is written in block form<br />
R[x U ] = 1 [<br />
x<br />
T<br />
2 M xU] [ ][ ]<br />
T L M B xM<br />
B T L U x U<br />
= 1 (2.11)<br />
(<br />
x<br />
T<br />
2 M L M x M + 2xUB T T x M + xUL T )<br />
U x U .<br />
In (2.11) L M is the part <strong>of</strong> the matrix L describing the dependencies between the seed points V M .<br />
L U is the part with the dependencies between the unseeded pixels. Finally, B, respectively B T , is the<br />
10