English
Related papers

Related papers: Using Spatial Logic and Model Checking for Nevus S…

200 papers

Image segmentation is a central topic in image processing and computer vision and a key issue in many applications, e.g., in medical imaging, microscopy, document analysis and remote sensing. According to the human perception, image…

Numerical Analysis · Mathematics 2022-06-24 Laura Antonelli , Valentina De Simone , Daniela di Serafino

Wound care is often challenged by the economic and logistical burdens that consistently afflict patients and hospitals worldwide. In recent decades, healthcare professionals have sought support from computer vision and machine learning…

Computer Vision and Pattern Recognition · Computer Science 2026-01-26 Remi Chierchia , Léo Lebrat , David Ahmedt-Aristizabal , Yulia Arzhaeva , Olivier Salvado , Clinton Fookes , Rodrigo Santa Cruz

Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The Spatial Logic of Closure Spaces, SLCS, extends Modal Logic with reachability…

Logic in Computer Science · Computer Science 2023-06-22 Nick Bezhanishvili , Vincenzo Ciancia , David Gabelaia , Gianluca Grilletti , Diego Latella , Mieke Massink

This report describes our submission to the ISIC 2017 Challenge in Skin Lesion Analysis Towards Melanoma Detection. We have participated in the Part 3: Lesion Classification with a system for automatic diagnosis of nevus, melanoma and…

Computer Vision and Pattern Recognition · Computer Science 2017-06-05 Iván González Díaz

In this contribution, a semi-automatic segmentation algorithm for (medical) image analysis is presented. More precise, the approach belongs to the category of interactive contouring algorithms, which provide real-time feedback of the…

Computer Vision and Pattern Recognition · Computer Science 2014-06-10 Jan Egger

Recently, self-supervised learning (SSL) methods have been used in pre-training the segmentation models for 2D and 3D medical images. Most of these methods are based on reconstruction, contrastive learning and consistency regularization.…

Computer Vision and Pattern Recognition · Computer Science 2024-06-25 Haofeng Li , Yiming Ouyang , Xiang Wan

Accurate moving object segmentation is an essential task for autonomous driving. It can provide effective information for many downstream tasks, such as collision avoidance, path planning, and static map construction. How to effectively…

Computer Vision and Pattern Recognition · Computer Science 2022-07-06 Jiadai Sun , Yuchao Dai , Xianjing Zhang , Jintao Xu , Rui Ai , Weihao Gu , Xieyuanli Chen

Three-dimensional (3D) images, such as CT, MRI, and PET, are common in medical imaging applications and important in clinical diagnosis. Semantic ambiguity is a typical feature of many medical image labels. It can be caused by many factors,…

Image and Video Processing · Electrical Eng. & Systems 2022-09-19 Lin Wang , Xiufen Ye , Donghao Zhang , Wanji He , Lie Ju , Xin Wang , Wei Feng , Kaimin Song , Xin Zhao , Zongyuan Ge

Multi-organ segmentation is one of most successful applications of deep learning in medical image analysis. Deep convolutional neural nets (CNNs) have shown great promise in achieving clinically applicable image segmentation performance on…

Image and Video Processing · Electrical Eng. & Systems 2020-12-18 Hao Tang , Xingwei Liu , Kun Han , Shanlin Sun , Narisu Bai , Xuming Chen , Huang Qian , Yong Liu , Xiaohui Xie

Central nervous system (CNS) tumors come with the vastly heterogeneous histologic, molecular and radiographic landscape, rendering their precise characterization challenging. The rapidly growing fields of biophysical modeling and radiomics…

Quantitative Methods · Quantitative Biology 2020-06-30 Andreas Mang , Spyridon Bakas , Shashank Subramanian , Christos Davatzikos , George Biros

Automated region of interest detection in histopathological image analysis is a challenging and important topic with tremendous potential impact on clinical practice. The deep-learning methods used in computational pathology may help us to…

Image and Video Processing · Electrical Eng. & Systems 2024-05-17 Yi Cui , Yao Li , Jayson R. Miedema , Sharon N. Edmiston , Sherif Farag , J. S. Marron , Nancy E. Thomas

Segmentation is a fundamental task in medical image analysis. The clinical interest is often to measure the volume of a structure. To evaluate and compare segmentation methods, the similarity between a segmentation and a predefined ground…

Image and Video Processing · Electrical Eng. & Systems 2020-10-09 Jeroen Bertels , David Robben , Dirk Vandermeulen , Paul Suetens

Convolutional neural networks (CNNs) show outstanding performance in many image processing problems, such as image recognition, object detection and image segmentation. Semantic segmentation is a very challenging task that requires…

Computer Vision and Pattern Recognition · Computer Science 2019-07-12 Fan Jia , Jun Liu , Xue-cheng Tai

The use of deep learning for medical imaging has seen tremendous growth in the research community. One reason for the slow uptake of these systems in the clinical setting is that they are complex, opaque and tend to fail silently. Outside…

Computer Vision and Pattern Recognition · Computer Science 2018-07-03 Terrance DeVries , Graham W. Taylor

In this paper, a novel approach for automatic segmentation and classification of skin lesions is proposed. Initially, skin images are filtered to remove unwanted hairs and noise and then the segmentation process is carried out to extract…

Computer Vision and Pattern Recognition · Computer Science 2016-09-13 Sumithra R , Mahamad Suhil , D. S. Guru

Semantic segmentation in surgical videos has applications in intra-operative guidance, post-operative analytics and surgical education. Segmentation models need to provide accurate and consistent predictions since temporally inconsistent…

Computer Vision and Pattern Recognition · Computer Science 2023-06-21 Maria Grammatikopoulou , Ricardo Sanchez-Matilla , Felix Bragman , David Owen , Lucy Culshaw , Karen Kerr , Danail Stoyanov , Imanol Luengo

Although neural models have performed impressively well on various tasks such as image recognition and question answering, their reasoning ability has been measured in only few studies. In this work, we focus on spatial reasoning and…

Artificial Intelligence · Computer Science 2021-08-19 Hyunjae Kim , Yookyung Koh , Jinheon Baek , Jaewoo Kang

Lung cancer is highly lethal, emphasizing the critical need for early detection. However, identifying lung nodules poses significant challenges for radiologists, who rely heavily on their expertise for accurate diagnosis. To address this…

Image and Video Processing · Electrical Eng. & Systems 2023-10-17 Hossein Jafari , Karim Faez , Hamidreza Amindavar

Tomographic imaging reveals internal structures of 3D objects and is crucial for medical diagnoses. Visualizing the morphology and appearance of non-planar sparse anatomical structures that extend over multiple 2D slices in tomographic…

Computer Vision and Pattern Recognition · Computer Science 2024-11-28 Leonhard Rist , Pluvio Stephan , Noah Maul , Linda Vorberg , Hendrik Ditt , Michael Sühling , Andreas Maier , Bernhard Egger , Oliver Taubmann

The alignment of serial-section electron microscopy (ssEM) images is critical for efforts in neuroscience that seek to reconstruct neuronal circuits. However, each ssEM plane contains densely packed structures that vary from one section to…

Computer Vision and Pattern Recognition · Computer Science 2017-12-06 Inwan Yoo , David G. C. Hildebrand , Willie F. Tobin , Wei-Chung Allen Lee , Won-Ki Jeong