English
Related papers

Related papers: Trust, but Verify: Robust Image Segmentation using…

200 papers

Imperfect labels limit the quality of predictions learned by deep neural networks. This is particularly relevant in medical image segmentation, where reference annotations are difficult to collect and vary significantly even across expert…

Computer Vision and Pattern Recognition · Computer Science 2021-07-07 Eugene Vorontsov , Samuel Kadoury

Medical image segmentation is vital to the area of medical imaging because it enables professionals to more accurately examine and understand the information offered by different imaging modalities. The technique of splitting a medical…

Image and Video Processing · Electrical Eng. & Systems 2024-09-01 Aitik Gupta , Joydip Dhar

Deep neural networks (DNN) have achieved unprecedented performance in computer-vision tasks almost ubiquitously in business, technology, and science. While substantial efforts are made to engineer highly accurate architectures and provide…

Image and Video Processing · Electrical Eng. & Systems 2022-09-08 Sumedha Singla

We develop a method for the efficient verification of neural networks against convolutional perturbations such as blurring or sharpening. To define input perturbations we use well-known camera shake, box blur and sharpen kernels. We…

Machine Learning · Computer Science 2025-02-19 Benedikt Brückner , Alessio Lomuscio

Learning a medical image segmentation model is an inherently ambiguous task, as uncertainties exist in both images (noise) and manual annotations (human errors and bias) used for model training. To build a trustworthy image segmentation…

Image and Video Processing · Electrical Eng. & Systems 2023-08-17 Xinyu Bai , Wenjia Bai

A globally robust deep neural network resists perturbations on all meaningful inputs. Current robustness certification methods emphasize local robustness, struggling to scale and generalize. This paper presents a systematic and efficient…

Machine Learning · Computer Science 2024-06-03 You Li , Guannan Zhao , Shuyu Kong , Yunqi He , Hai Zhou

We devise a new regularization, called self-verification, for image denoising. This regularization is formulated using a deep image prior learned by the network, rather than a traditional predefined prior. Specifically, we treat the output…

Image and Video Processing · Electrical Eng. & Systems 2021-11-02 Huangxing Lin , Yihong Zhuang , Delu Zeng , Yue Huang , Xinghao Ding , John Paisley

In recent years, deep learning based methods have shown success in essential medical image analysis tasks such as segmentation. Post-processing and refining the results of segmentation is a common practice to decrease the misclassifications…

Image and Video Processing · Electrical Eng. & Systems 2021-08-29 Ufuk Demir , Atahan Ozer , Yusuf H. Sahin , Gozde Unal

As humans, we inherently perceive images based on their predominant features, and ignore noise embedded within lower bit planes. On the contrary, Deep Neural Networks are known to confidently misclassify images corrupted with meticulously…

Computer Vision and Pattern Recognition · Computer Science 2020-04-02 Sravanti Addepalli , Vivek B. S. , Arya Baburaj , Gaurang Sriramanan , R. Venkatesh Babu

State-of-the-art, high capacity deep neural networks not only require large amounts of labelled training data, they are also highly susceptible to label errors in this data, typically resulting in large efforts and costs and therefore…

Machine Learning · Computer Science 2020-07-20 Christian Haase-Schütz , Rainer Stal , Heinz Hertlein , Bernhard Sick

We consider the problem of semantic image segmentation using deep convolutional neural networks. We propose a novel network architecture called the label refinement network that predicts segmentation labels in a coarse-to-fine fashion at…

Computer Vision and Pattern Recognition · Computer Science 2017-03-03 Md Amirul Islam , Shujon Naha , Mrigank Rochan , Neil Bruce , Yang Wang

A particularly challenging problem in AI safety is providing guarantees on the behavior of high-dimensional autonomous systems. Verification approaches centered around reachability analysis fail to scale, and purely statistical approaches…

Artificial Intelligence · Computer Science 2025-03-11 Souradeep Dutta , Michele Caprio , Vivian Lin , Matthew Cleaveland , Kuk Jin Jang , Ivan Ruchkin , Oleg Sokolsky , Insup Lee

Image classification systems recently made a giant leap with the advancement of deep neural networks. However, these systems require an excessive amount of labeled data to be adequately trained. Gathering a correctly annotated dataset is…

Machine Learning · Computer Science 2021-01-19 Görkem Algan , Ilkay Ulusoy

Though performed almost effortlessly by humans, segmenting 2D gray-scale or color images into respective regions of interest (e.g.~background, objects, or portions of objects) constitutes one of the greatest challenges in science and…

Computer Vision and Pattern Recognition · Computer Science 2023-08-23 Alexandre Benatti , Luciano da F. Costa

Despite the remarkable performance of supervised medical image segmentation models, relying on a large amount of labeled data is impractical in real-world situations. Semi-supervised learning approaches aim to alleviate this challenge using…

Computer Vision and Pattern Recognition · Computer Science 2025-09-17 Yunyao Lu , Yihang Wu , Ahmad Chaddad , Tareef Daqqaq , Reem Kateb

Structures suffer from the emergence of cracks, therefore, crack detection is always an issue with much concern in structural health monitoring. Along with the rapid progress of deep learning technology, image semantic segmentation, an…

Computer Vision and Pattern Recognition · Computer Science 2021-05-03 Fangzheng Lin , Jiesheng Yang , Jiangpeng Shu , Raimar J. Scherer

In this paper, we present a strategy for training convolutional neural networks to effectively resolve interference arising from competing hypotheses relating to inter-categorical information throughout the network. The premise is based on…

Computer Vision and Pattern Recognition · Computer Science 2020-08-14 Md Amirul Islam , Matthew Kowal , Konstantinos G. Derpanis , Neil D. B. Bruce

The vulnerability of deep neural networks to adversarial examples, which are crafted maliciously by modifying the inputs with imperceptible perturbations to misled the network produce incorrect outputs, reveals the lack of robustness and…

Computer Vision and Pattern Recognition · Computer Science 2021-06-21 Lina Wang , Xingshu Chen , Yulong Wang , Yawei Yue , Yi Zhu , Xuemei Zeng , Wei Wang

In recent years, the incidence of vision-threatening eye diseases has risen dramatically, necessitating scalable and accurate screening solutions. This paper presents a comprehensive study on deep learning architectures for the automated…

Computer Vision and Pattern Recognition · Computer Science 2025-12-12 Mohammad Sadegh Gholizadeh , Amir Arsalan Rezapour

One major drawback of deep convolutional neural networks (CNNs) for use in safety critical applications is their black-box nature. This makes it hard to verify or monitor complex, symbolic requirements on already trained computer vision…

Computer Vision and Pattern Recognition · Computer Science 2022-03-15 Gesina Schwalbe , Christian Wirth , Ute Schmid