
For FullText PDF, please login, if you are a member of IEICE,
or go to Pay Per View on menu list, if you are a nonmember of IEICE.

Thresholding Based Image Segmentation Aided by Kleene Algebra
Makoto ISHIKAWA Naotake KAMIURA Yutaka HATA
Publication
IEICE TRANSACTIONS on Information and Systems
Vol.E82D
No.5
pp.962967 Publication Date: 1999/05/25 Online ISSN:
DOI: Print ISSN: 09168532 Type of Manuscript: Special Section PAPER (Special Issue on MultipleValued Logic and Its Applications) Category: Probability and Kleene Algebra Keyword: Kleene algebra, unate function, Brzozowski operations, image segmentation, thresholding, medical imaging,
Full Text: PDF>>
Summary:
This paper proposes a thresholding based segmentation method aided by Kleene Algebra. For a given image including some regions of interest (ROIs for short) with the coherent intensity level, assume that we can segment each ROI on applying thresholding technique. Three segmented states are then derived for every ROI: Shortage denoted by logic value 0, Correct denoted by 1 and Excess denoted by 2. The segmented states for every ROI in the image can be then expressed on a ternary logic system. Our goal is then set to find "Correct (1)" state for every ROI. First, unate function, which is a model of Kleene Algebra, based procedure is proposed. However, this method is not complete for some cases, that is, correctly segmented ratio is about 70% for three and four ROI segmentation. For the failed cases, Brzozowski operations, which are defined on De Morgan algebra, can accommodate to completely find all "Correct" states. Finally, we apply these procedures to segmentation problems of a human brain MR image and a foot CT image. As the result, we can find all "1" states for the ROIs, i. e. , we can correctly segment the ROIs.

