中文
相关论文

相关论文: Combining Deep Learning and Verification for Preci…

200 篇论文

Deductive verification is an effective method to ensure that a given system exposes the intended behavior. In spite of its proven usefulness and feasibility in selected projects, deductive verification is still not a mainstream technique.…

软件工程 · 计算机科学 2026-01-26 Lea Salome Brugger , Xavier Denis , Peter Müller

Automated X-ray inspection is crucial for efficient and unobtrusive security screening in various public settings. However, challenges such as object occlusion, variations in the physical properties of items, diversity in X-ray scanning…

Current state-of-the-art deep learning systems for visual object recognition and detection use purely supervised training with regularization such as dropout to avoid overfitting. The performance depends critically on the amount of labeled…

计算机视觉与模式识别 · 计算机科学 2015-04-16 Scott Reed , Honglak Lee , Dragomir Anguelov , Christian Szegedy , Dumitru Erhan , Andrew Rabinovich

Many safety failures in machine learning arise when models are used to assign predictions to people (often in settings like lending, hiring, or content moderation) without accounting for how individuals can change their inputs. In this…

机器学习 · 计算机科学 2025-07-04 Seung Hyun Cheon , Meredith Stewart , Bogdan Kulynych , Tsui-Wei Weng , Berk Ustun

Recognition of grocery products in store shelves poses peculiar challenges. Firstly, the task mandates the recognition of an extremely high number of different items, in the order of several thousands for medium-small shops, with many of…

计算机视觉与模式识别 · 计算机科学 2019-01-29 Alessio Tonioni , Eugenio Serra , Luigi Di Stefano

In recent years, a lot of attention is paid to deep learning methods in the context of vision-based construction site safety systems, especially regarding personal protective equipment. However, despite all this attention, there is still no…

计算机视觉与模式识别 · 计算机科学 2023-12-29 Bartosz Wójcik , Mateusz Żarski , Kamil Książek , Jarosław Adam Miszczak , Mirosław Jan Skibniewski

In object detection, the cost of labeling is much high because it needs not only to confirm the categories of multiple objects in an image but also to accurately determine the bounding boxes of each object. Thus, integrating active learning…

计算机视觉与模式识别 · 计算机科学 2023-08-23 Lei Zhao , Bo Li , Xingxing Wei

Deep reinforcement learning has become popular over recent years, showing superiority on different visual-input tasks such as playing Atari games and robot navigation. Although objects are important image elements, few work considers…

机器学习 · 计算机科学 2018-09-18 Yuezhang Li , Katia Sycara , Rahul Iyer

Despite their impressive predictive performance in various computer vision tasks, deep neural networks (DNNs) tend to make overly confident predictions, which hinders their widespread use in safety-critical applications. While there have…

计算机视觉与模式识别 · 计算机科学 2023-12-12 Teodora Popordanoska , Aleksei Tiulpin , Matthew B. Blaschko

The complexity-precision trade-off of an object detector is a critical problem for resource constrained vision tasks. Previous works have emphasized detectors implemented with efficient backbones. The impact on this trade-off of proposal…

计算机视觉与模式识别 · 计算机科学 2022-07-11 Yunsheng Li , Yinpeng Chen , Xiyang Dai , Dongdong Chen , Mengchen Liu , Pei Yu , Jing Yin , Lu Yuan , Zicheng Liu , Nuno Vasconcelos

Object detection aims at high speed and accuracy simultaneously. However, fast models are usually less accurate, while accurate models cannot satisfy our need for speed. A fast model can be 10 times faster but 50\% less accurate than an…

计算机视觉与模式识别 · 计算机科学 2017-07-21 Hong-Yu Zhou , Bin-Bin Gao , Jianxin Wu

The state of the art in 3D object detection using sensor fusion heavily relies on calibration quality, which is difficult to maintain in large scale deployment outside a lab environment. We present the first calibration-free approach for 3D…

计算机视觉与模式识别 · 计算机科学 2023-12-15 Michael Fürst , Rahul Jakkamsetty , René Schuster , Didier Stricker

During deployment, an object detector is expected to operate at a similar performance level reported on its testing dataset. However, when deployed onboard mobile robots that operate under varying and complex environmental conditions, the…

计算机视觉与模式识别 · 计算机科学 2021-03-10 Quazi Marufur Rahman , Niko Sünderhauf , Feras Dayoub

Object tracking is one of the fundamental problems in visual recognition tasks and has achieved significant improvements in recent years. The achievements often come with the price of enormous hardware consumption and expensive labor effort…

计算机视觉与模式识别 · 计算机科学 2022-05-06 Yan Shen , Zhanghexuan Ji , Chunwei Ma , Mingchen Gao

Interacting with the environment, such as object detection and tracking, is a crucial ability of mobile robots. Besides high accuracy, efficiency in terms of processing effort and energy consumption are also desirable. To satisfy both…

计算机视觉与模式识别 · 计算机科学 2020-07-07 Xuesong Li , Jose Guivant

Human decision-making often relies on visual information from multiple perspectives or views. In contrast, machine learning-based object recognition utilizes information from a single image of the object. However, the information conveyed…

计算机视觉与模式识别 · 计算机科学 2025-10-01 Mona Alzahrani , Muhammad Usman , Salma Kammoun , Saeed Anwar , Tarek Helmy

Maintaining sewer systems in large cities is important, but also time and effort consuming, because visual inspections are currently done manually. To reduce the amount of aforementioned manual work, defects within sewer pipes should be…

计算机视觉与模式识别 · 计算机科学 2024-04-10 Bach Ha , Birgit Schalter , Laura White , Joachim Koehler

We present a novel modular object detection convolutional neural network that significantly improves the accuracy of object detection. The network consists of two stages in a hierarchical structure. The first stage is a network that detects…

计算机视觉与模式识别 · 计算机科学 2020-09-15 Erez Yahalomi

The cross-depiction problem is that of recognising visual objects regardless of whether they are photographed, painted, drawn, etc. It is a potentially significant yet under-researched problem. Emulating the remarkable human ability to…

计算机视觉与模式识别 · 计算机科学 2015-05-04 Hongping Cai , Qi Wu , Tadeo Corradi , Peter Hall

The authenticity of images posted on social media is an issue of growing concern. Many algorithms have been developed to detect manipulated images, but few have investigated the ability of deep neural network based approaches to verify the…

计算机视觉与模式识别 · 计算机科学 2019-02-12 M. Goebel , A. Flenner , L. Nataraj , B. S. Manjunath
‹ 上一页 1 8 9 10 下一页 ›