- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Mathematical Problems in Engineering
Volume 2013 (2013), Article ID 367086, 13 pages
Implicit Active Contour Model with Local and Global Intensity Fitting Energies
1College of Mathematics and Statistics, Chongqing University, Chongqing 401331, China
2School of Mathematics and Statistics, Chongqing University of Technology, Chongqing 400054, China
Received 19 December 2012; Accepted 28 March 2013
Academic Editor: Oluwole Daniel Makinde
Copyright © 2013 Xiaozeng Xu and Chuanjiang He. 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.
We propose a new active contour model which integrates a local intensity fitting (LIF) energy with an auxiliary global intensity fitting (GIF) energy. The LIF energy is responsible for attracting the contour toward object boundaries and is dominant near object boundaries, while the GIF energy incorporates global image information to improve the robustness to initialization of the contours. The proposed model not only can provide desirable segmentation results in the presence of intensity inhomogeneity but also allows for more flexible initialization of the contour compared to the RSF and LIF models, and we give a theoretical proof to compute a unique steady state regardless of the initialization; that is, the convergence of the zero-level line is irrespective of the initial function. This means that we can obtain the same zero-level line in the steady state, if we choose the initial function as a bounded function. In particular, our proposed model has the capability of detecting multiple objects or objects with interior holes or blurred edges.
Implicit active contour models have been extensively studied and successfully used in image segmentation [1–3]. The basic idea is to evolve a contour under some constraints to extract the desired object. According to the nature of constraints, the existing active contour models can be categorised into two classes: edge-based models [4–7], and region-based models [8–17]. Each of them has its own pros and cons; the choice of them in applications depends on different characteristics of images. In this study, we focus on region-based models and consider images with intensity inhomogeneity.
Unlike edge-based models that utilize typically an edge indicator depending on image gradient to perform contour extraction, region-based models usually use global and/or local statistics inside regions rather than gradient on edges to find a partition of image domain. They generally have better performances in the presence of weak or discontinuous boundaries than edge-based models. Early popular region-based models tend to rely on intensity homogeneous (roughly constant or smooth) statistics in each of the regions to be segmented. Therefore, they either lack the ability to deal with intensity inhomogeneity like the PC (piecewise constant) model  or are excessively expensive in computation like the PS (piecewise smooth) model .
To handle intensity inhomogeneity efficiently, some localized region-based models [11–16] have been proposed recently. For example, Li et al.  recently proposed a region-scalable fitting (RSF) active contour model (originally termed as local binary fitting (LBF) model ). The RSF model draws upon intensity information in spatially varying local regions depending on a scale parameter, so it is able to deal with intensity inhomogeneity efficiently. Very recently, Zhang et al.  proposed a novel active contour model driven by local image fitting energy, which also can handle intensity inhomogeneity efficiently. The experimental results in  show that this model is more efficient than the RSF model, while yielding similar results. However, these two models easily get stuck in local minimums for the most of contour initializations. This makes it need user intervention to define the initial contours professionally.
In this study, based on the PC model  and RSF model , we propose a new active contour model, which integrates a local intensity fitting (LIF) energy with an auxiliary global intensity fitting (GIF) energy. The LIF energy is responsible for attracting the contour toward object boundaries and is dominant near object boundaries, while the GIF energy incorporates global image information to improve the robustness to initialization of the contours. The proposed model can efficiently handle intensity inhomogeneity, while allowing for more flexible initialization and maintaining the subpixel accuracy.
The remainder of this paper is organized as follows. Section 2 briefly reviews the PC model  and RSF model . Section 3 introduces the proposed model. Section 4 presents experimental results using a set of synthetic and real images. This paper is summarized in Section 5.
2. Related Works
2.1. Piecewise Constant Model by Chan and Vese
In , Chan and Vese (CV) proposed a region-based active contour model that relies on intensity homogeneous (roughly constant) statistics in each of the regions to be segmented. In the CV model, a contour is represented implicitly by the zero-level set of a Lipschitz function , which is called a level set function. In what follows, we let the level set function take positive and negative values inside and outside the contour , respectively.
Let be an input image, and let be the regularized Heaviside function; the energy functional of the CV model is defined as where , are constants. The regularized version of is chosen as and are the global averages of the image intensities in the region and , respectively; that is,
The solution of the CV model in fact leads to a piecewise constant segmentation of the original image : where and are the averages of the image intensities in the region and , respectively. Such constants may be far away from the original image data, if the intensities outside or inside the contour are not homogeneous. As a result, the CV model generally fails to segment images with intensity inhomogeneity.
2.2. Region-Scalable Fitting Model
In order to improve the performance of the global CV model  and the PS model  on images with inhomogeneity, Li et al. [11, 12] recently proposed a novel region-based active contour model. They introduced a kernel function and defined the following energy functional: where is a Gaussian kernel with standard deviation , and and are two smooth functions that approximate the local image intensities inside and outside the contour, respectively. They are computed by
The solution of the RSF model leads to a piecewise smooth approximation of the original image : where the smooth functions and are computed by (6). and are the averages of local intensities on the two sides of the contour, which are different from the constants and in the CV model, the averages of the image intensities on the two sides of the contour. Therefore, the RSF model can deal with intensity inhomogeneity efficiently. However, it is sensitive to contour initialization (initial locations, sizes, and shapes).
3. The Proposed Model
3.1. Description of Our Model
Keeping fixed and minimizing the functional with respect to , , , and , we have
Keeping , , , and fixed and minimizing the functional with respect to , we obtain the corresponding gradient descent flow equation: where
Like the CV and RSF models, our model is also implemented using an alternative procedure: for each iteration and the corresponding level set function , we first compute the fitting values and and then obtain by minimizing with respect to . This process is repeated until the zero-level set of is exactly on the object boundary.
In the following, we first discuss the properties of and and then analyze the behavior of (11).
3.2. Properties of and
For the sake of simplicity, we state and prove the properties of and only for an image consisting of only two distinct gray levels: where with , and represent the objects of interest and the background, respectively.
Theorem 1. Let be an image by (13). Then one has and so, where in which is the area of the region and similarly for others.
Remarks. (i) Due to the discrete nature of image, is in fact the number of pixels in the image , and similarly to others.
(ii) The cases of , , and correspond to the zero-level lines of which are encircling the object (), inside the object and within the background (), respectively. The cases of and correspond to the zero-level line of that are partially inside the object and exactly on the object edge, respectively.
(iii) The significance of (15) is that the function has the opposite sign in (object) and (background), respectively.
The proof of Theorem 1 is provided in Appendix A. The following result will be used in the proof of Theorem 7, which guarantees that the evolution by (10) converges to a unique stable value after finite time.
Corollary 2. Let be an image by (13). Then one has the following.(i)If , then (ii)If , then
We call the property in Theorem 1 an adaptive sign-changing property of . Such property also holds for , which can be expressed by the following theorem.
Theorem 3. Let be an image given by (13). Then one has
This theorem shows that the local force has exactly opposite sign in (object) and in (background).
Corollary 4. Under the assumption of Theorem 3, one has the following.(i)If , then (ii)If , then where
3.3. Behavior of Our Model
In this section, we analyze the behavior of our model (10) for image segmentation. We will show that the zero-level line of the evolution function starting with a bounded function finally comes to a unique steady state, which separates the object from the background.
Due to the discrete nature of image, the continuous equation (10) can be discretized in space with space step 1 (implied pixel spacing), but also in time with a time step as follows: where corresponds to the image size, and with and .
Corollary 5. Let .(i)If , then (ii)If , then where
Corollary 6. Let .(i)If , then (ii)If , then where
Theorem 7. If is a bounded function with , then there exists a positive integer such that, for ,
The significance of Theorem 7 is that if we choose such that , then the zero-level line of starting with such initial function can finally come to a unique steady state, which separates object from the background.
Remark. Mathematically there does exist such that ; in practice, however, we always can guarantee that
3.4. Discussion of Initial Function
Theorem 7 guarantees that the proposed model computes a unique steady state regardless of the initialization; that is, the convergence of the zero-level line is irrespective of the initial function. This means that we can obtain the same zero-level line in the steady state if we choose the initial function as a bounded function with .
In applications, the initial function can be defined via a simple curve (closed curve or line segment) in image domain. For example, we can choose the initial function as a signed distance to a circle, which is widely used in most of image segmentation models with level set methods. For the proposed model, however, we prefer to define the initial function as a piecewise constant or constant function as follows.(1)If the curve is a closed curve (e.g., circle or square), then is defined by where is a constant.(2)If the curve is a line segment that partitions the image domain into two disjoint regions and (e.g., the left and right half regions of image domain , respectively) with and , then is defined by where is a constant. (3)We can also define a zero function as follows:
Next, we prove the fact that, with , becomes a sign-changing function and satisfy the condition of after the first iteration.
Theorem 8. If the initial function in and then after the first iteration, one has where , , .
4. Implementation and Experimental Results
In tradition PDE-based methods, a certain diffusion term is usually included in the evolution equation to regularize the evolving function, but which increases the computational cost. Recently,  proposed a novel scheme to regularize the evolving function, that is, Gaussian filtering the evolving function after each of iterations. We adopt this scheme to regularize the evolving function at each of iteration; that is, , where controls the regularization strength. Such regularization procedure has some advantages over the traditional regularization term, such as computational efficiency and better smoothing effect; see  for more explanations.
The main procedures of the proposed algorithm can be summarized as follows.(1)Initialize the evolving function . (2)Compute and , () using (10).(3)Evolve the function according to (11).(4)Regularize the function with a Gaussian filter, that is; . (5)Check whether the evolution is finished. If not, return to step 2.
4.2. Experimental Results
In this section, we show experimentally that the proposed model not only can provide desirable segmentation results in the presence of intensity inhomogeneity but also allows for more flexible initialization of the contour compared to the RSF and LIF models.
In our numerical experiments, for our model, we choose the parameters as follows: for the regularized Dirac function, (time step), (space step), , and . The MATLAB source code of the LIF model algorithm is downloaded at http://www4.comp.polyu.edu.hk/~cslzhang/code/LIF.zip, and the RSF model algorithm is downloaded at http://www.engr.uconn.edu/~cmli/code/RSF_v0_v0.1.rar. All experiments were run under MATLAB 2010b on a PC with Dual 2.7 GHz processor.
We will utilize two region overlap metrics to evaluate the performances of the three models quantitatively. The two metrics are the ratio of segmentation error (RSE)  and the dice similarity coefficient (DSC) [14, 18, 19]. If and represent a given baseline foreground region (e.g., true object) and the foreground region found by the model, respectively, then the two metrics are defined as follows: where indicates the number of pixels in the enclosed region, and is image domain. The closer the DSC value to 1, the better the segmentation. Since is the number of the pixels mistakenly classified by the model, lower RSE means that there are fewer pixels misclassified; that is, the image can be segmented more accurately. Thus, a perfect segmentation will give , .
In the first example (Figures 1–3), we mainly verify the computation of a unique steady state of the zero-level line of , starting with three types of representative initial functions, that is, signed distance function, piecewise constant functions by (26)-(27), and zero function, respectively. The top row of Figure 1 shows the evolution of an active contour (i.e., zero-level line ), with the function initialized to a signed distance function, piecewise constant functions by (26)-(27) with , and zero function, respectively, while the bottom row shows the corresponding evolution of . With such initializations, the zero-level line of converges to the same steady state.
In Figure 2, we show that our model has the capability of detecting multiple objects or objects with interior holes or blurred edges, only starting with a zero function. The contours (zero-level lines) evolution processes are shown in the second column to the forth column.
We choose the segmentation results of the RSF and LIF models as baseline foreground regions and then compute DSC values for the corresponding images. The RSE and DSC values for the four real images are given in Table 1, from which we can see that the proposed algorithm works as well as the RSF and LIF models for images with intensity inhomogeneity.
The experimental results shown in Figure 4 validate that our method can also achieve subpixel segmentation accuracy as in . As can be seen from Figures 4(b) and 4(d), both models achieve subpixel segmentation accuracy of the finger boundaries. The final contour accurately reflects the true hand shape.
In this study, we propose a new active contour model integrating a local intensity fitting (LIF) energy with an auxiliary global intensity fitting (GIF) energy. The LIF energy is responsible for attracting the contour toward object boundaries and is dominant near object boundaries, while the GIF energy incorporates global image information to improve the robustness to initialization of the contours. The proposed model can efficiently handle intensity inhomogeneity, while allowing for more flexible initialization and maintaining the subpixel accuracy. The utility model has the advantages of allowing for more flexible initialization of the contour and the capability of detecting multiple objects or objects with interior holes or blurred edges. But  has not been implemented.
Proof of Theorem 1. Clearly, and , owing to the sign-changing property of . Thus, by (3), we have and so, Therefore, in , we get and in , we have This completes the proof of (14). The last assertion (15) follows clearly from the following fact: The proof of Theorem 1 is completed.
Proof of Theorem 3. By (6), we have
Therefore, in , we get
and in , we have
This completes the proof of (19). The last assertion (20) follows clearly from the following fact:
Now, we give the proof of Corollary 4. (i) Since we have by (19) and (B.6) and by (19) and , This completes the proof of (19), and similarly to (20). The proof is completed.
C. Proof of Corollary 5
Proof. (i) By Corollary 2 (i), we have At the first iteration, by (25) and (C.1), we have or equivalently, which implies that In a manner similar to the steps used to obtain (26)-(27) and (C.1)– (C.4), we obtain
D. Proof of Theorem 7
Proof. We prove (32), and similarly to (33). By (25), Corollary 5(i), and Corollary 6(i), we get which implies that Because is bounded in domain , there clearly exists a positive integer such that The proof is completed.
E. Proof of Theorem 8
The authors would like to thank the anonymous reviewers for their valuable comments and suggestions to improve this paper. Besides, this work was supported by the Fundamental Research Funds for the Central University, Grant no. (CDJXS10100006).
- V. Caselles, F. Catté, T. Coll, and F. Dibos, “A geometric model for active contours in image processing,” Numerische Mathematik, vol. 66, no. 1, pp. 1–31, 1993.
- T. Chan, M. Moelich, and B. Sandberg, “Some recent developments in variational image segmentation,” UCLA CAM Report cam 06-52, 2006.
- L. He, Z. Peng, B. Everding et al., “A comparative study of deformable contour methods on medical image segmentation,” Image and Vision Computing, vol. 26, no. 2, pp. 141–163, 2008.
- C. Li, C. Xu, C. Gui, and M. D. Fox, “Level set evolution without re-initialization: a new variational formulation,” in Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR '05), pp. 430–436, San Diego, Calif, USA, June 2005.
- C. Li, C. Xu, C. Gui, and M. D. Fox, “Distance regularized level set evolution and its application to image segmentation,” IEEE Transactions on Image Processing, vol. 19, no. 12, pp. 3243–3254, 2010.
- B. Zhou and C. L. Mu, “Level set evolution for boundary extraction based on a p-Laplace equation,” Applied Mathematical Modelling, vol. 34, no. 12, pp. 3910–3916, 2010.
- Y. Wang and C. He, “Adaptive level set evolution starting with a constant function,” Applied Mathematical Modelling, vol. 36, no. 7, pp. 3217–3228, 2012.
- T. F. Chan and L. A. Vese, “Active contours without edges,” IEEE Transactions on Image Processing, vol. 10, no. 2, pp. 266–277, 2001.
- A. Tsai, A. Yezzi, and A. S. Willsky, “Curve evolution implementation of the Mumford-Shah functional for image segmentation, denoising, interpolation, and magnification,” IEEE Transactions on Image Processing, vol. 10, no. 8, pp. 1169–1186, 2001.
- T. Brox and D. Cremers, “On the statistical interpretation of the piecewise smooth Mumford-Shah functional,” in Proceedings of the International Conference on Scale Space and Variational Methods in Computer Vision (SSVM '07), pp. 203–213, Ischia, Italy, 2007.
- C. Li, C. Y. Kao, J. C. Gore, and Z. Ding, “Implicit active contours driven by local binary fitting energy,” in Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR '07), pp. 1–7, Washington, DC, USA, June 2007.
- C. Li, C. Y. Kao, J. C. Gore, and Z. Ding, “Minimization of region-scalable fitting energy for image segmentation,” IEEE Transactions on Image Processing, vol. 17, no. 10, pp. 1940–1949, 2008.
- S. Lankton and A. Tannenbaum, “Localizing region-based active contours,” IEEE Transactions on Image Processing, vol. 17, no. 11, pp. 2029–2039, 2008.
- L. Wang, C. Li, Q. Sun, D. Xia, and C. Y. Kao, “Active contours driven by local and global intensity fitting energy with application to brain MR image segmentation,” Computerized Medical Imaging and Graphics, vol. 33, no. 7, pp. 520–531, 2009.
- K. Zhang, H. Song, and L. Zhang, “Active contours driven by local image fitting energy,” Pattern Recognition, vol. 43, no. 4, pp. 1199–1206, 2010.
- K. Zhang, L. Zhang, H. Song, and W. Zhou, “Active contours with selective local or global segmentation: a new formulation and level set method,” Image and Vision Computing, vol. 28, no. 4, pp. 668–676, 2010.
- Y. Yuan and C. He, “Variational level set methods for image segmentation based on both and Sobolev gradients,” Nonlinear Analysis. Real World Applications, vol. 13, no. 2, pp. 959–966, 2012.
- B. Liu, H. D. Cheng, J. Huang, J. Tian, X. Tang, and J. Liu, “Probability density difference-based active contour for ultrasound image segmentation,” Pattern Recognition, vol. 43, no. 6, pp. 2028–2042, 2010.
- D. W. Shattuck, S. R. Sandor-Leahy, K. A. Schaper, D. A. Rottenberg, and R. M. Leahy, “Magnetic resonance image tissue classification using a partial volume model,” NeuroImage, vol. 13, no. 5, pp. 856–876, 2001.