A framework for comparing different image segmentation methods and its use in studying equivalences between level set and fuzzy connectedness frameworks

被引:19
作者
Ciesielski, Krzysztof Chris [1 ,2 ]
Udupa, Jayaram K. [2 ]
机构
[1] W Virginia Univ, Dept Math, Morgantown, WV 26506 USA
[2] Univ Penn, Dept Radiol, MIPG, Philadelphia, PA 19104 USA
关键词
Segmentation; Delineation; Algorithm equivalence; Convergence; Level sets; Fuzzy connectedness; Medical images; OBJECT DEFINITION; MULTIPLE OBJECTS; ACTIVE CONTOURS; GRAPH CUTS; ALGORITHMS; APPROXIMATION; MUMFORD; MODELS; SNAKES;
D O I
10.1016/j.cviu.2011.01.003
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In the current vast image segmentation literature, there seems to be considerable redundancy among algorithms, while there is a serious lack of methods that would allow their theoretical comparison to establish their similarity, equivalence, or distinctness. In this paper, we make an attempt to fill this gap. To accomplish this goal, we argue that: (1) every digital segmentation algorithm A should have a well defined continuous counterpart M(A), referred to as its model, which constitutes an asymptotic of A when image resolution goes to infinity; (2) the equality of two such models M(A) and M(A)', establishes a theoretical (asymptotic) equivalence of their digital counterparts A and A'. Such a comparison is of full theoretical value only when, for each involved algorithm A, its model M(A) is proved to be an asymptotic of A. So far, such proofs do not appear anywhere in the literature, even in the case of algorithms introduced as digitizations of continuous models, like level set segmentation algorithms. The main goal of this article is to explore a line of investigation for formally pairing the digital segmentation algorithms with their asymptotic models, justifying such relations with mathematical proofs, and using the results to compare the segmentation algorithms in this general theoretical framework. As a first step towards this general goal, we prove here that the gradient based thresholding model M(del) is the asymptotic for the fuzzy connectedness Udupa and Samarasekera segmentation algorithm used with gradient based affinity A(del) We also argue that, in a sense, M(del) is the asymptotic for the original front propagation level set algorithm of Malladi. Sethian, and Vemuri, thus establishing a theoretical equivalence between these two specific algorithms. Experimental evidence of this last equivalence is also provided. (C) 2011 Elsevier Inc. All rights reserved.
引用
收藏
页码:721 / 734
页数:14
相关论文
共 54 条
[1]   APPROXIMATION OF FUNCTIONALS DEPENDING ON JUMPS BY ELLIPTIC FUNCTIONALS VIA GAMMA-CONVERGENCE [J].
AMBROSIO, L ;
TORTORELLI, VM .
COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS, 1990, 43 (08) :999-1036
[2]  
AMBROSIO L, 1992, B UNIONE MAT ITAL, V6B, P105
[3]   Some remarks on the equivalence between 2D and 3D classical snakes and geodesic active contours [J].
Aubert, G ;
Blanc-Féraud, L .
INTERNATIONAL JOURNAL OF COMPUTER VISION, 1999, 34 (01) :19-28
[4]  
Aubert G., 2006, Mathematical problems in image processing: Partial differential equations and the calculus of variations, V147
[5]  
BEUCHER S, 1992, 10 PFEFF C SIGN IM P, P299
[6]  
Bourdin B, 2000, NUMER MATH, V85, P609, DOI 10.1007/s002110000099
[7]   Fast approximate energy minimization via graph cuts [J].
Boykov, Y ;
Veksler, O ;
Zabih, R .
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2001, 23 (11) :1222-1239
[8]  
BOYKOV Y, 2003, P INT C COMP VIS NIC, V1, P2633
[9]   Graph cuts and efficient N-D image segmentation [J].
Boykov, Yuri ;
Funka-Lea, Gareth .
INTERNATIONAL JOURNAL OF COMPUTER VISION, 2006, 70 (02) :109-131
[10]  
BRAIDEs A., 2002, F-convergence for Beginners