11.03.2014 Views

Segmentation of Stochastic Images using ... - Jacobs University

Segmentation of Stochastic Images using ... - Jacobs University

Segmentation of Stochastic Images using ... - Jacobs University

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!