A fast transition of linear temporal logic formulae to transition-based Büchi automata

Shan, Laixiang; Qin, Zheng

doi:10.1504/ijcat.2016.073603

Cited by 2 publications

(1 citation statement)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In computer vision, image processing is a highly challenging field and image segmentation is still a broad research topic and also an essential task in many applications. Many new techniques have been discovered recently for computer applications in technology (Chavan and Yogamani, 2012;Hachemi, 2016, 2017;Chen and Zhao, 2016;Kayarvizhy et al, 2016;Li et al, 2016;Shan and Qin, 2016;Tahat, 2016;Wang et al, 2016;Bouallegue et al, 2017;Luo and Wang, 2017;Misra et al, 2017;Ouannas et al, 2017;Saber and Elloumi, 2017;Sameti et al, 2017;Zhang et al, 2017;Zhao and Guan, 2017). Also MRI images segmentation has become the focus of contemporary research that because applications require a simple division of image into homogeneous regions while others require more accurate detection (Forouzanfar et al, 2010;Taheri et al, 2010;Abdul and Deorankar, 2015).…”

Section: Introductionmentioning

confidence: 99%

Design and implementation of a new cooperative approach to brain tumour identification from MRI images

Beddad

Hachemi

Vaidyanathan

2019

IJCAT

View full text Add to dashboard Cite

Magnetic resonance imaging has become a vital component of a large number of biomedical applications and also plays a major role in medical diagnostics. In this research work, the main purpose is to carry out a new cooperative approach to brain tumour detection and identification from MRI images with good segmentation accuracy. The proposed system applies K-means algorithm to optimise the initial centroids of the improved fuzzy C-means which incorporates the spatial information and also to get a better estimation of their final cluster centres. Then the obtained results are considered as an initialisation of the active contour for level sets technique. The proposed segmentation algorithm and its improvement were well implemented practically in real-time using a floating-point TMS320C6713 DSP of Texas Instruments. Performance improvement is measured by including various optimisation techniques, and all profiling and debugging results are shown using C6713 graphical user interface.

show abstract