Mathematical Problems in Engineering

Volume 2011 (2011), Article ID 749456, 15 pages

http://dx.doi.org/10.1155/2011/749456

## Enclosed Laplacian Operator of Nonlinear Anisotropic Diffusion to Preserve Singularities and Delete Isolated Points in Image Smoothing

^{1}Key Laboratory of Land Resources Evaluation and Monitoring in Southwest (Sichuan Normal University), Ministry of Education, Chengdu 610066, China^{3}School of Automation Engineering, University of Electronic Science and Technology of China, Chengdu 610054, China^{4}Institute of Medical Information and Technology, School of Biomedical Engineering, Southern Medical University, Guangzhou 510515, China^{2}School of Computer Science, Sichuan Normal University, Chengdu 610066, China

Received 19 January 2011; Accepted 13 February 2011

Academic Editor: Ming Li

Copyright © 2011 Zhiwu Liao et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

Existing Nonlinear Anisotropic Diffusion (NAD) methods in image smoothing cannot obtain satisfied results near singularities and isolated points because of the discretization errors. In this paper, we propose a new scheme, named Enclosed Laplacian Operator of Nonlinear Anisotropic Diffusion (ELONAD), which allows us to provide a unified framework for points in flat regions, edge points and corners, even can delete isolated points and spurs. ELONAD extends two diffusion directions of classical NAD to eight or more enclosed directions. Thus it not only performs NAD according to modules of enclosed directions which can reduce the influence of traction errors greatly, but also distinguishes isolated points and small spurs from corners which must be preserved. Smoothing results for test patterns and real images using different discretization schemes are also given to test and verify our discussions.

#### 1. Introduction

Most of real life problems involve nonlinear systems which is a kind of complex system [1–8]. For example, traffic system can be related to the fractal, thus using fractal time series analysis, two results about traffic analysis are presented in [3, 4]. Moreover, [6, 7] also model two problems for DNA analysis and physics using fractal systems. Nonlinearity for signal and image system has been widely discussed for a long time in various literatures both in nonlinear system and image processing [9–17]. These methods include nonlinear times series analysis, fractal, chaos, and fuzzy system.

One important method to model image system is NAD proposed in early 90's [18–21]. Originally, NAD models image system as a nonlinear system, and its smoothing should be carried on in flat regions with linear average while its smoothing should be stopped near edges. Difference between a point in flat region and near edge can be measured by the module of its gradient [18].

Some efforts indicate that stoping diffusion near edges is not a good choice in image smoothing since the artifacts and isolated points should be smoothed either. Thus two new schemes are put forward: diffusing along the tangent line (coherence filter) and backward diffusing (shock filter) [19–21]. However, coherence filter and shock filter also stop at the corners or isolated points.

Recently, some efforts for improving the performance of NAD have been proposed [22–28]. However, these new methods only focus on how to relate NAD to some new tools, such as adaptive smoothing, multiresolution analysis but not to provide new diffusion schemes.

Motivated by the simplified scheme proposed in [18], we propose a new NAD scheme based on high-dimensional vector analysis which extends two diffusion directions to eight or more enclosed diffusion directions. By this way, our proposed method can reduce the influence of discretization errors greatly and provide satisfied smoothing results for points both in flat regions and near singularities.

The remainder of this paper is as follows. Section 2 is devoted to description the motivation of ELONAD. In Section 3 the new method is presented and Section 4 provides behavior analysis. In Section 5 the experimental results are given and discussed. We also give conclusions and acknowledgements finally.

#### 2. Motivation

In image smoothing, nonlinear anisotropic diffusion (NAD), also called Perona-Malik diffusion (PMD), is a technique aiming at reducing image details without removing significant parts of the image contents, typically edges, lines, or textures which are important for the image [18].

With a constant diffusion coefficient, the anisotropic diffusion equations reduce to the heat equation which is equivalent to Gaussian blurring. This is ideal for smoothing details but also blurs edges. When the diffusion coefficient is chosen as an edge seeking function, the resulting equations encourage diffusion (hence smoothing) within regions and stop it near strong edges. Hence the edges can be preserved while smoothing from the image [18].

Formally, NAD is defined as where is the initial gray scale image, is the smooth gray scale image at time , denotes the gradient, is the divergence operator, and is the diffusion coefficient. controls the rate of diffusion and is usually chosen as a monotonically decreasing function of the module of the image gradient. Two functions proposed in [18] are where is the module of the vector and the constant controls the sensitivity to edges.

Although there are many well-posed numerical schemes for (2.1) in the view of mathematics, image smoothing is still an ill-posed problem because of the discreteness and complexity of images. Thus some perfect mathematical schemes, such as diffusing according to tensor, diffusing along tangent line, and diffusing according to the module of gradient, cannot obtain satisfied results in image smoothing because of discretization errors. The discretization errors also make(1)most of schemes have to stop diffusion near edges and corners which leaves spurs and noise amplification near singularities; (2)how to select a suitable scale for diffusion becomes a very difficult tradeoff problem.

Fortunately, Perona and Malik propose a simple method to approach the modules of gradients which is called PM method in the remainder of this paper [18]. Its discretization for the Laplacian operator is where According to (2.2) and (2.3), the diffusion coefficient is defined as a function of module of the gradient. However, computing a gradient accurately in discrete data is very complex and the module of the gradient is simplified as the absolute values of four directions and diffusion coefficients are where is the absolute value of the number and is defined in (2.2) or (2.3).

Although this scheme is not the exact discretization of (2.1) from the view of mathematics, it is the best way for preserving singularities in existing NAD methods since it can find similar neighbors correctly without computing the gradient. Moreover, unlike other existing methods which find and diffuse corners, edges with different methods, the corners defined in PM methods are no differences from edges and they are diffused with same way-diffusion neighbors with the similar gray levels.

The main default for PM method is that it cannot discriminate spurs and isolated points from the corners and edges since only four directions is not enough to make difference to these cases. Thus one plausible scheme for (2.1) is to extend four approximation directions to much more directions. However, it is not a trivial task for this generalization, we will discuss it from theory to applications in Sections 3 and 4.

#### 3. The Method

Just as above discussion, the PM method proposed in [18] is the best discretization scheme for NAD in existing methods for its fitness for discrete nature of images. However, the number of four discrete directions for the Laplacian operator is too less to find isolated points and small spurs near singularities, thus the four directions should be extended to more directions.

Intuitively, more directions will obtain better performance in image smoothing. In order to extend four directions to the most directions, enclosed directions for which are defined as the differences between and its enclosed nearest neighbors in a scale, is a good choice. For example, the differences between and its eight nearest-neighbors are its first-scale enclosed directions while the differences between and its 24-nearest-neighbors are its second-scale enclosed directions (see Figure 1).

Although the motivation of extending four directions to the enclosed directions is from the simplified form of (2.1), the proposed method is based on different theoretical model. That is, it is based on *the high-dimensional vector analysis for NAD*. The high-dimensional vector used in it has eight or more components, which are half-point differences between the center point and its nearest eight or more half points. The first-scale enclosed gradient vector is defined as
where represents the transpose of the vector and , are defined as

Thus the first-scale second-order difference of is where represents the transpose of the vector. From (3.1) we have

It can be easily concluded that the first-scale second-order difference of is composed by eight components which are the differences between and its enclosed eight nearest-neighbors. The proof of (3.3) is in the appendix. Since except for the points on border of an image, each point is enclosed by its eight nearest-neighbors, so the first-scale second-order difference of is called enclosed the first-scale second-order difference of .

*Definition 3.1. *The first-scale second-order-difference of defined in (3.3) is called *the first-scale second-order enclosed difference of *.

Based on Definition 3.1, we have the following.

*Definition 3.2. *Let the first-scale second-order-difference of defined in (3.3). The following equation
is called *the first-scale enclosed Laplacian operator (ELO) of *.

We must indicate that although the discussion in this paper only focuses on the first-scale ELO, it can be put in multiscale framework easily. That is, after finding enclosed points no less than the scale, the ELO can be computed by the difference between the and these enclosed points.

For example, ELO can be extended to the second-scale by the differences between and its 24 enclosed points (see Figure 1). By this way, the ELONAD can be performed on enough similar points to find noises and small spurs. In order to simplify our explanation and focus on our new theory, the ELONAD is only extended to the first-scale enclosed gradient.

Let where represents the transpose of the vector and , is defined as where , defined in (3.1) are the components of vector and is the normalized constant, is the decreasing function of absolute value of , . Following (2.2) and (2.3), can be defined as or where is the absolute value of the number, the constant controls the sensitivity to edges. However, half-point difference for defined in (3.1) cannot be computed directly. Thus second-order integral-point difference can be used to approximate the one-order half-point difference. Equations (3.8) and (3.9) become

The new NAD based on the enclosed second-order difference is defined as where the , are the components of vector in (3.1) and , defined in (3.7) are the components of in (3.6). Moreover, the numerator of in (3.7) can be approximated by (3.10) or (3.11).

The above equation can be represented as where and the r. h. s. of (3.13) is the normalized weight ELO. is the second-order difference of the th components of which can be computed according to (3.3).

Thus the explicit form for solving (3.13) is where is the gray level of at time and , are the same as in (3.13).

#### 4. Behavior Analysis for ELONAD

Let the consideration point is , since except for isolated points and spurs, ELONAD provides a unified framework for edge points, corners and points in flat regions, the discussion of the behavior analysis focuses on both singularity points and points in flat regions. Besides the smoothing performance for these singularities, we also discuss if the proposed method can find enough close and similar points for smoothing, which is very important in image smoothing. That is, enough smoothing points can help to distinguish different singularities and delete some kinds of them, such as spurs or isolated points. Moreover, it also provides robust estimate in statistical theory.

##### 4.1. Isolated Points and Spurs

Isolated points and spurs should be deleted since most of them are caused by noises.

*Definition 4.1. * In a digital image, an isolated point is a point whose nearest-eight neighbors are different types of points to it. More specially, the absolute values of differences between and its nearest-eight neighbors are very high.

The first-scale second-order enclosed difference of can distinguish isolated points from other kinds of singularities by counting the number of points with similar gray levels to in its eight nearest-neighborhood.

Theorem 4.2 (distinguishing theorem for an isolated point). * A point
**
where “num-similar" is the number of similar points in 's eight nearest-neighborhood.*

*Proof. * Since the first-scale second-order enclosed difference of is the differences between and its eight nearest-neighbors, if all eight nearest-neighbors are different points to , is an isolated point.

In addition, considering the influence of noises, the number num-similar can be relaxed to a bigger threshold.

Theorem 4.3 (relaxed distinguishing theorem for an isolated point). * A point
**
where is a predefined threshold and “num-similar" is the number of points with similar gray levels to in its eight nearest-neighbors.*

For example, in Figure 2(c), two white points at top right corner of the label 5 are two isolated points. If relaxing to 1, points with labels 5 and 3 are isolated points either. The isolated points can also be handled with a multiscale manner. For example, we can define an isolated point is that its num-similar in the first scale is 1 and its num-similar in the second-scale is 2. This multiscale scheme has better performance in edge preserving than the one-scale scheme.

*Definition 4.4. * A spur is a very thinning and short unwanted branch in an image.

Most of spurs are caused by noises. One example for spurs in Figure 2(c) is the small branch near the point labeled by 3 and the point with label 3 is the top of the spur where is the end point of the spur. The top of a spur can be found by one-scale or multiscale second-order enclosed difference of using Theorem 4.3 or its multiscale version, the most of spur points can be deleted by recursively smoothing using ELONAD (see Figure 2(h)).

##### 4.2. Corners, Edges, and Points in Flat Regions

Except for isolated points and spurs which should be deleted, ELONAD puts corners, edges and points in flat regions, which must be preserved, into a unified framework. According to Theorem 4.3, if 's , it is neither an isolated point nor a top of a spur. In fact, it is a corner point or an edge point or a point in a flat region. Thus we have the following.

Theorem 4.5 (distinguishing theorem for different points). *A point
**
where is a predefined threshold and “num-similar" is the number of points with similar gray levels to in its eight nearest-neighborhood.*

Following Theorem 4.5, the points in a digital image can be parted into two groups: one is isolated points and spur points which should be deleted while the other is corners, points in flat regions and edges which should be preserved. Thus these two types of points can be performed separately. Unlike the existing methods which regard isolated points and the tops of spurs as corners, and then stop diffusion at the corners and diffusion edges along tangent lines, the behavior of ELONAD for the latter-corners, edges and smooth points is the same: diffusion with the neighboring points having similar gray levels to 's.

The main advantage for this behavior is the unnecessary for determining the type of before diffusion after deleting the isolated points and spurs. Thus all three types of points can be unified into a diffusion framework to reduce influences of the discretization errors.

In order to show above discussion more clearly, an image is designed composed by: two white circles-one is one-pixel width white circle and the other is a circle filled in white points; one white vertical line with three-pixel width; two declining white lines-one is three-pixel width and the other is one-pixel width; a corner composed by a horizontal white line and a declining white line; some isolated points and two spurs near the one-width declining line (see Figure 2(a)). 11 test points are selected and labeled by the pink points in Figure 2(b) while their labels are shown on Figure 2(c).

Two points labeled by 3 and 5 should be deleted where point 3 is the top of the spur and 5 is an isolated point. The method to find the isolated points and the tops of the spurs is based on Theorem 4.3 while deleted isolated points and the tops of spurs using ELONAD are show in Figure 2(h) with white points.

However, since isolated points and the tops of spurs also have large modules both for the gradients and the tangent lines, existing methods cannot distinguish isolated points and the tops of spurs from corners. Therefore, the diffusion will be stopped at these three types of points (see Figures 2(e)–2(g)). That is, the isolated points and the tops of spurs are preserved at existing methods (see Figures 2(f)–2(g) and 2(i)–2(k)).

The 11 test points, except for points 3 and 5, are smoothed using the same diffusion scheme-diffusing among similar points in eight or more nearest neighborhood. The diffusion points for the first- to the fourth-scale are shown using different colors: blue, yellow, green and red for the first-scale to the fourth-scale, respectively, (see Figures 2(d)–2(g)). We can observe that these 9 test points are surrounded with different color diffusion points which shows us the diffusion will be carried on multiscale similar points (see Figure 2(d)).

However, for methods proposed in [20, 21], only two test points labeled by 6 and 10 are surrounded by different color points while other 7 points are isolated pink points indicating the diffusion is stopped at these 7 points (see Figures 2(f)–2(g)). The reason for this situation is only points labeled as 6 and 10 are considered as edge points for the shock filter and coherence filter while other points are considered as corners and the diffusion has to be stopped at there.

The method proposed in [18] is can provide better performance in finding diffusion points comparing to the methods proposed in [20, 21] (see Figure 2(e)). However, its small number for diffusion points compared to ELONAD indicates that four directions for discretization is not enough to obtain satisfied smoothing results.

#### 5. Experiments and Discussion

In order to show the performance of ELONAD, two images are used: one is a gray level image with “salt and pepper" noise whose density is 0.1; the other is a real fingerprint image with some artifacts.

The main objective for smoothing these two images is to delete the noise in the first image and deleting the artifacts in the fingerprint image while to preserve main patterns for the images.

In order to compare ELONAD with some state-of-art discretization methods, three schemes proposed in [18, 20, 21] are used. These three methods are called PM method in [18], shock filter in [20] and coherence filter in [21].

Except for PM method, the main behavior for shock filter and coherence filter is diffusion along edges and stop at corners. However, since corners cannot be distinguished from the isolated points and the tops of spurs, the shock filter and coherence filter have to stop at these three kinds of points. Thus both of them cannot delete the “salt and pepper" noise (see Figures 3(b) and 3(c)).

Although PM method has very similar smoothing results to the shock filter, their behavior has two differences: one is the PM method will not stop diffusion at corner while shock filter will stop at corners; the other is PM only stops at the isolated points while shock filter will stop at corners, isolated points and the tops of the spurs (see Figure 3(a)).

Since proposed method can distinguish the isolated points from the corners, the isolated points can be deleted easily (see Figure 3(d)).

Moreover, in order to show the smoothing performance of ELONAD, it also is carried on a real fingerprint image. Just as above discussion, PM, shock filter and coherence filter have very similar manner to the original image. Thus in Figure 4, we only present the original fingerprint image and smoothing image by ELONAD.

Observing fingerprint image, we can find irregular gray levels are smoothed and some artifacts are also smoothed out while important patterns are preserved. It demonstrates ELONAD can obtain satisfied smoothing results both in deleting isolated points and spurs, and in preserving important patterns.

#### 6. Conclusions

In this paper, we propose a new discretization scheme for NAD based on high-dimensional vector analysis. Unlike existing NAD schemes only have two directions in their discretization whose traction errors make they cannot distinguish isolated points and spurs from corners, our method provides the maximum directions by enclosed Laplacian operator (ELO) to reduce the discretization errors and distinguish different types of points. Moreover, ELO parts image points into two groups: one is isolated points and the top of spurs which should be deleted; the other is corners, edges and smooth points which should be preserved. Since these two groups related to two different behavior, respectively, the algorithm can be designed according to different groups. Thus it can obtain satisfied smoothing results in digital images.

#### Appendix

#### Proof of the First-Scale Second-Order Difference of

The second-order difference of is where represents the transpose of the vector . From (3.1) we have

#### Acknowledgments

This paper is supported by the National Natural Science Foundation of China (no. 60873102), Major State Basic Research Development Program (no. 2010CB732501), and Open Foundation of Visual Computing and Virtual Reality Key Laboratory Of Sichuan Province (no. J2010N03). This work was supported by a grant from the National High Technology Research and Development Program of China (no. 2009AA12Z140) and Open foundation of Key Laboratory of Land Resources Evaluation and Monitoring of SouthwestSichuan Normal University, Ministry of Education.

#### References

- H. K. Khalil,
*Nonlinear Systems*, Prentice Hall, New York, NY, USA, 2001. - M. Li, “Fractal time series—a tutorial review,”
*Mathematical Problems in Engineering*, vol. 2010, Article ID 157264, 26 pages, 2010. View at Google Scholar · View at Zentralblatt MATH - M. Li, “Modeling autocorrelation functions of long-range dependent teletraffic series based on optimal approximation in Hilbert space-A further study,”
*Applied Mathematical Modelling*, vol. 31, no. 3, pp. 625–631, 2007. View at Publisher · View at Google Scholar · View at Scopus - M. Li and W. Zhao, “Representation of a stochastic traffic bound,”
*IEEE Transactions on Parallel and Distributed Systems*, vol. 21, no. 9, pp. 1368–1372, 2010. View at Publisher · View at Google Scholar · View at Scopus - K. S. Miller and B. Ross,
*An Introduction to the Fractional Calculus and Fractional Differential Equations*, A Wiley-Interscience Publication, John Wiley & Sons, New York, NY, USA, 1993. - C. Cattani, “Fractals and hidden symmetries in DNA,”
*Mathematical Problems in Engineering*, vol. 2010, Article ID 507056, 31 pages, 2010. View at Google Scholar · View at Zentralblatt MATH - E. G. Bakhoum and C. Toma, “Dynamical aspects of macroscopic and quantum transitions due to coherence function and time series events,”
*Mathematical Problems in Engineering*, vol. 2010, Article ID 428903, 2010. View at Publisher · View at Google Scholar · View at Scopus - J. L. Casti,
*Nonlinear System Theory*, vol. 175 of*Mathematics in Science and Engineering*, Academic Press, Orlando, Fla, USA, 1985. - M. Schetzen,
*The Volterra and Wiener Theories of Nonlinear Systems*, John Wiley & Sons, New York, NY, USA, 1980. - C. L. Nikias and A. P. Petropuop,
*Higher-Order Spectra Analysis: A Non-linear Signal Processing Framework*, Prentice-Hall, Englewood Cliffs, NJ, USA, 1993. - M. Li, M. Scalia, and C. Toma, “Nonlinear time series: computations and applications,”
*Mathematical Problems in Engineering*, vol. 2010, Article ID 101523, 5 pages, 2010. View at Publisher · View at Google Scholar - Z. Liao, S. Hu, and W. Chen, “Determining neighborhoods of image pixels automatically for adaptive image denoising using nonlinear time series analysis,”
*Mathematical Problems in Engineering*, vol. 2010, Article ID 914564, 14 pages, 2010. View at Google Scholar · View at Zentralblatt MATH - S. Y. Chen, H. Tong, Z. Wang, S. Liu, M. Li, and B. Zhang, “Improved generalized belief propagation for vision processing,”
*Mathematical Problems in Engineering*, vol. 2011, Article ID 416963, 12 pages, 2011. View at Publisher · View at Google Scholar - J. Zhang and Z. Wei, “A class of fractional-order multi-scale variational models and alternating projection algorithm for image denoising,”
*Applied Mathematical Modelling*, vol. 35, no. 5, pp. 2516–2528, 2011. View at Publisher · View at Google Scholar - S. Y. Chen and Y. F. Li, “Determination of stripe edge blurring for depth sensing,”
*IEEE Sensors Journal*, vol. 11, no. 2, pp. 389–390, 2011. View at Publisher · View at Google Scholar - S. Y. Chen, Y. F. Li, and J. Zhang, “Vision processing for realtime 3-D data acquisition based on coded structured light,”
*IEEE Transactions on Image Processing*, vol. 17, no. 2, pp. 167–176, 2008. View at Publisher · View at Google Scholar - C. Chaux, L. Duval, A. Benazza-Benyahia, and J.-C. Pesquet, “A nonlinear Stein-based estimator for multichannel image denoising,”
*IEEE Transactions on Signal Processing*, vol. 56, no. 8, part 2, pp. 3855–3870, 2008. View at Publisher · View at Google Scholar - P. Perona and J. Malik, “Scale-space and edge detection using anisotropic diffusion,”
*IEEE Transactions on Pattern Analysis and Machine Intelligence*, vol. 12, no. 7, pp. 629–639, 1990. View at Publisher · View at Google Scholar · View at Scopus - L. Alvarez, P.-L. Lions, and J.-M. Morel, “Image selective smoothing and edge detection by nonlinear diffusion. II,”
*SIAM Journal on Numerical Analysis*, vol. 29, no. 3, pp. 845–866, 1992. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - L. Alvarez and L. Mazorra, “Signal and image restoration using shock filters and anisotropic diffusion,”
*SIAM Journal on Numerical Analysis*, vol. 31, no. 2, pp. 590–605, 1994. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Weickert, “Coherence-enhancing diffusion filtering,”
*International Journal of Computer Vision*, vol. 31, no. 2, pp. 111–127, 1999. View at Google Scholar · View at Scopus - N. Sochen, G. Gilboa, and Y. Y. Zeevi, “Color image enhancement by a forward and backwardadaptive Beltrami flow,” in
*Proceedings of the International Workshop on Algebraic Frames for the Perception-Action Cycle (AFPAC '00)*, G. Sommer and Y. Y. Zeevi, Eds., vol. 1888 of*Lecture Notes in Computer Science*, pp. 319–328, Springer, 2000. - F. Zhang, Y. M. Yoo, L. M. Koh, and Y. Kim, “Nonlinear diffusion in laplacian pyramid domain for ultrasonic speckle reduction,”
*IEEE Transactions on Medical Imaging*, vol. 26, no. 2, pp. 200–211, 2007. View at Publisher · View at Google Scholar · View at Scopus - M. Ceccarelli, V. De Simone, and A. Murli, “Well-posed anisotropic diffusion for image denoising,”
*IEE Proceedings: Vision, Image and Signal Processing*, vol. 149, no. 4, pp. 244–252, 2002. View at Publisher · View at Google Scholar · View at Scopus - V. B. Surya Prasath and A. Singh, “Well-posed inhomogeneous nonlinear diffusion scheme for digital image denoising,”
*Journal of Applied Mathematics*, vol. 2010, Article ID 763847, 14 pages, 2010. View at Google Scholar · View at Zentralblatt MATH - J. Ling and A. C. Bovik, “Smoothing low-SNR molecular images via anisotropic median-diffusion,”
*IEEE Transactions on Medical Imaging*, vol. 21, no. 4, pp. 377–384, 2002. View at Publisher · View at Google Scholar · View at Scopus - J. Yu, Y. Yang, and A. Campo, “Approximate solution of the nonlinear heat conduction equation in a semi-infinite domain,”
*Mathematical Problems in Engineering*, vol. 2010, Article ID 421657, 24 pages, 2010. View at Google Scholar · View at Zentralblatt MATH - G. Gilboa, N. Sochen, and Y. Y. Zeevi, “Complex diffusion processes for image filtering,” in
*Proceedings of the 3rd International Conference on Scale-Space and Morphology in Computer Vision*, vol. 2106 of*Lecture Notes in Computer Science*, pp. 299–307, Springer, 2001.