Substituting z
L
of the basic mapping equation (6) with
the cylindrical depth equation (25) leads to two trans-
formation equations
u
R
= u
L
−
bfκ
τ±
p
τ
2
− ηκ
1
0
. (35)
These equations allow for a mapping of the view of
a cylindrical shape from the left camera to the right
camera by means of the cylindrical model parameters
(x
a
, y
a
, z
a
, α
x
, α
z
and r). As was pointed out in sec-
tion 2.3, “−” corresponds to mapping concave struc-
tures and “+” corresponds to mapping convex struc-
tures.
3 MODEL PARAMETER
ESTIMATION
The basic idea of our approach is to incorporate mod-
els directly into the correspondence search, instead
of fitting models into depth or disparity data gained
from some local correspondence searches. For this
purpose, we derived the transformation equations of
the parametric models in the last section that describe
the perspective view changes of these models in a
stereo camera setting. We now search for the model
parameters of larger image regions that explain the
perspective view changes of these regions between
different camera images. For doing so we use the
Hooke-Jeeves (Hooke and Jeeves, 1961) optimization
method. Its objectiveis to minimize the error between
the original left view and the transformed right view.
Hooke-Jeeves is a direct search method (Lewis
et al., 2000) for optimizing (fitness) functions. Start-
ing from an initial parameter set, an iterative refine-
ment is conducted by sampling alternative parameter
sets around the current solution. From these alterna-
tive sets the best one is selected. If no better solution
is found, the step size is reduced. This is repeated un-
til a minimal step size has been reached. Here we use
the SAD between the original left image of a surface
and the transformed right image as the fitness func-
tion for the Hooke-Jeeves algorithm. This means that
the search algorithm tries to find those parameters of
a parametric surface that best predict the perspective
change between the left and right camera view. We
use SAD because it is less sensitive to outliers in the
image data compared to a quadratic measure.
It may seem unusual to use Hooke-Jeeves in-
stead of a classical optimization based on gradients.
However, direct search methods like Hooke-Jeeves
have several advantages over gradient based solu-
tions. First, gradient based approaches need a for-
mal description of the fitness gradient which is based
on the image gradients. These, however, can only
be approximated locally, e.g. by means of a Taylor
expansion (Habbecke and Kobbelt, 2005; Lucas and
Kanade, 1981). Because of this, gradient based ap-
proaches usually need to rely on a resolution pyramid.
There is no such necessity when using a direct search
method like Hooke-Jeeves, because it searches the pa-
rameter space by means of sampling. Second, it is
easy to replace one fitness function with another one,
i.e. it is straightforward to exchange the model (trans-
formation formulas) or objective function (matching
function). In contrast to this, the formulas in gradi-
ent based optimization regimes depend on the model
as well as on the used objective function. This means
that gradient formulas have to be re-derived when the
model or the objective function are changed. More-
over, the possible set of matching metrics is limited,
as for example a SAD is not derivable. Last but
not least, the Hooke-Jeeves optimization is numeri-
cally very stable for the method presented here, since
only simple arithmetic and trigonometric functions
are used for the transformations.
Notwithstanding its advantages, Hooke-Jeeves is
rarely used as it is considered inefficient. Compared
to gradient based approaches Hooke-Jeeves needs
more iterations. However, the overall speed depends
on the function to optimize. Especially, using gra-
dient based approaches on images is quite expensive
because for calculating the local gradients the im-
ages have to be filtered in each iteration. This fil-
tering is avoided when using a direct search method
like Hooke-Jeeves. In (Habbecke and Kobbelt, 2005)
a very efficient gradient method for plane estimation
was proposed which is about a factor of two to three
faster than the Levenberg-Marquardt minimization.
Their implementation needs roughly 15 iterations. On
an AMD Athlon 64 3500+ they need around 0.2ms
for one iteration of a patch of 1000 pixels, i.e. the
overall computation time is 3ms. In terms of itera-
tions our Hooke-Jeeves implementation is quite ex-
pensive as it usually needs on average 175 iterations.
However, on a comparable system (one core of an In-
tel Xeon X5355) the overall computation time for a
patch of 1000 pixels is 6.8ms. This demonstrates that
Hooke-Jeeves can compete with state-of-the-art gra-
dient based optimization when it comes to plane fit-
ting.
4 RESULTS
In order to prove the concept of our approach and
to evaluate the accuracy of the parameter estimation,
we conducted some experiments with virtual scenes.
DIRECT SURFACE FITTING
129