next up previous index
Next: Other Regularization Models Up: Regularization and Discontinuities Previous: Standard Regularization

Line Process Model and Its Approximations

   

The LP model assumes piecewise smoothness whereby the smoothness constraint is switched off at points where the magnitude of the signal derivative exceeds certain threshold. It is defined on a lattice rather than on a continuous domain. Quantize the continuous interval into m uniformly spaced points so that , and . Introduce a set of binary line process variables into the smoothness term. If in (3.5) also takes on a value in , then is related it by . The on-state, , of the line process variable indicates that a discontinuity is detected between neighboring points i-1 and i; the off-state, , indicates that the signal between the two points is continuous. Each turn-on of a line process variable is penalized by a quantity . These give the LP regularizer

 

The energy for the LP model is

 

This is the weak string model and its extension to 2D the weak membrane model [Blake and Zisserman 1987]. Eq.(3.7) corresponds to the energy in the posterior distribution of the surface field f and the line process field l, the distribution being of the Gibbs form 

 

where Z is a normalizing constant called the partition function.  

The line process variables are determined as follows: If , then it is cheaper to pay the price and set ; otherwise it is more economical to turn on the variable to insert a discontinuity with the cost of . This is an interpretation of the LP model based on the concept of the weak continuity constraint introduced by Blake [Blake 1983] for edge labeling. An earlier idea of weak constraints is seen in Hinton's thesis work [Hinton 1978]. In the LP model, the interaction is piecewise constant (1 or 0) and the smoothing strength at i is either proportional to or zero -- see the next section. The concept of discontinuities can be extended to model-based recognition of overlapping objects [Li 1994a]. There, the relational bond between any two features in the scene should be broken if the features are ascribed to two different objects.

 

Finding and such that is minimized is a mixture of real and combinatorial optimization. Algorithms for this can be classified as categories: stochastic [Geman and Geman 1984 ; Marroquin 1985] and deterministic [Koch et al. 1986 ; Yuille 1987 ; Blake and Zisserman 1987 ; Geiger and Girosi 1991]. Some annealing techniques are often combined into them to obtain global solutions.

In stochastic approaches, f and l are updated according to some probability distribution parameterized by a temperature parameter. For example, Geman and Geman propose to use simulated annealing with the Gibbs sampler [Geman and Geman 1984] to find the global MAP solution. Marroquin (1985) minimizes the energy by a stochastic update in l together with a deterministic update in f using gradient descent.

Deterministic approaches often use some classical gradient based methods. Before these can be applied, the combinatorial minimization problem has to be converted into one of real minimization. By eliminating the line process,   Blake and Zisserman (1987) convert the previous minimization problem into one which minimizes the following function containing only real variables

 

where the truncated quadratic potential function ( cf.

Equ.(2.17))

 

shall be referred to as the line process potential function.   Blake and Zisserman introduce a parameter p into to control the convexity of E, obtaining . The parameter p varies from 1 to 0, which corresponds to the variation from a convex approximation of the function to its original form.

Koch et al. (1986) and Yuille (1987) perform the conversion using the Hopfield approach [Hopfield 1984].   Continuous variables in the range are introduced to replace the binary line process variables in . Each is related to an internal variable by a sigmoid function

with as the parameter whereby . The energy with this treatment is

It is shown that at stationary points where , there are and hence the approximated line process variables [Yuille 1987]  

 

This gives the effective potential function as  

 

As the temperature decreases toward zero, approaches : .

Geiger and Girosi (1991) approximate the line process using mean field theory.   They introduce a parameter into (3.8), giving an approximated posterior probability

Using the saddle point approximation   method, they derive mean field equations which yield the approximated line process variables which are identical to (3.13). The solution is in the limit .

Li (1990) proposes a continuous adaptive regularizer model. There, the smoothness constraint is applied without the switch-off as the LP model. Its effect is decreased as the derivative magnitude becomes larger and is completely off only at the true discontinuities where the derivative is infinite. This is an earlier form of the DA model in this work.



next up previous index
Next: Other Regularization Models Up: Regularization and Discontinuities Previous: Standard Regularization