中文
相关论文

相关论文: Formal Verification of Deep Neural Networks for Ob…

200 篇论文

The trajectory of a robot is monitored in a restricted dynamic environment using light beam sensor data. We have a Dynamic Belief Network (DBN), based on a discrete model of the domain, which provides discrete monitoring analogous to…

人工智能 · 计算机科学 2013-03-25 Ann Nicholson , J. M. Brady

When dealing with deep neural network (DNN) applications on edge devices, continuously updating the model is important. Although updating a model with real incoming data is ideal, using all of them is not always feasible due to limits, such…

机器学习 · 计算机科学 2023-03-23 Yuya Senzaki , Christian Hamelain

Given the rapid changes in telecommunication systems and their higher dependence on artificial intelligence, it is increasingly important to have models that can perform well under different, possibly adverse, conditions. Deep Neural…

信号处理 · 电气工程与系统科学 2021-03-30 Javier Maroto , Gérôme Bovet , Pascal Frossard

Recognition of objects using Deep Neural Networks is an active area of research and many breakthroughs have been made in the last few years. The paper attempts to indicate how far this field has progressed. The paper briefly describes the…

计算机视觉与模式识别 · 计算机科学 2014-12-12 Soren Goyal , Paul Benjamin

Bringing deep neural networks (DNNs) into safety critical applications such as automated driving, medical imaging and finance, requires a thorough treatment of the model's uncertainties. Training deep neural networks is already resource…

计算机视觉与模式识别 · 计算机科学 2022-05-31 Julian Burghoff , Robin Chan , Hanno Gottschalk , Annika Muetze , Tobias Riedlinger , Matthias Rottmann , Marius Schubert

Deep neural networks (DNN) are increasingly applied in safety-critical systems, e.g., for face recognition, autonomous car control and malware detection. It is also shown that DNNs are subject to attacks such as adversarial perturbation and…

机器学习 · 计算机科学 2019-11-15 Yizhen Dong , Peixin Zhang , Jingyi Wang , Shuang Liu , Jun Sun , Jianye Hao , Xinyu Wang , Li Wang , Jin Song Dong , Dai Ting

State of the art Deep Neural Networks (DNN) can now achieve above human level accuracy on image classification tasks. However their outstanding performances come along with a complex inference mechanism making them arduously interpretable…

机器学习 · 计算机科学 2019-11-07 Fei Wu , Thomas Michel , Alexandre Briot

In terms of accuracy, deep learning (DL) models have had considerable success in classification problems for medical imaging applications. However, it is well-known that the outputs of such models, which typically utilise the SoftMax…

图像与视频处理 · 电气工程与系统科学 2023-02-28 Tareen Dawood , Emily Chan , Reza Razavi , Andrew P. King , Esther Puyol-Anton

The rise of deepfake images, especially of well-known personalities, poses a serious threat to the dissemination of authentic information. To tackle this, we present a thorough investigation into how deepfakes are produced and how they can…

计算机视觉与模式识别 · 计算机科学 2023-09-06 Haixu Song , Shiyu Huang , Yinpeng Dong , Wei-Wei Tu

Human visual object recognition is typically rapid and seemingly effortless, as well as largely independent of viewpoint and object orientation. Until very recently, animate visual systems were the only ones capable of this remarkable…

计算机视觉与模式识别 · 计算机科学 2018-12-12 Robert Geirhos , David H. J. Janssen , Heiko H. Schütt , Jonas Rauber , Matthias Bethge , Felix A. Wichmann

Deep neural networks (DNNs), while increasingly deployed in many applications, struggle with robustness against anomalous and out-of-distribution (OOD) data. Current OOD benchmarks often oversimplify, focusing on single-object tasks and not…

计算机视觉与模式识别 · 计算机科学 2024-09-30 Debargha Ganguly , Debayan Gupta , Vipin Chaudhary

Deep Neural Networks (DNNs) are a revolutionary force in the ongoing information revolution, and yet their intrinsic properties remain a mystery. In particular, it is widely known that DNNs are highly sensitive to noise, whether adversarial…

机器学习 · 计算机科学 2020-05-01 Netanel Raviv , Siddharth Jain , Pulakesh Upadhyaya , Jehoshua Bruck , Anxiao Jiang

Information retrieval lies at the foundation of the modern digital industry. While natural language search has seen dramatic progress in recent years largely driven by embedding-based models and large-scale pretraining, the field still…

人工智能 · 计算机科学 2026-02-20 Adrià Molina , Oriol Ramos Terrades , Josep Lladós

Visual change detection, aiming at segmentation of video frames into foreground and background regions, is one of the elementary tasks in computer vision and video analytics. The applications of change detection include anomaly detection,…

计算机视觉与模式识别 · 计算机科学 2021-05-05 Murari Mandal , Santosh Kumar Vipparthi

With substantial amount of time, resources and human (team) efforts invested to explore and develop successful deep neural networks (DNN), there emerges an urgent need to protect these inventions from being illegally copied, redistributed,…

密码学与安全 · 计算机科学 2019-11-05 Lixin Fan , Kam Woh Ng , Chee Seng Chan

Deep neural networks (DNNs) have gained prominence in various applications, such as classification, recognition, and prediction, prompting increased scrutiny of their properties. A fundamental attribute of traditional DNNs is their…

机器学习 · 计算机科学 2023-08-15 Roman Garaev , Bader Rasheed , Adil Khan

Deep neural networks (DNNs) have shown unprecedented success in object detection tasks. However, it was also discovered that DNNs are vulnerable to multiple kinds of attacks, including Backdoor Attacks. Through the attack, the attacker…

计算机视觉与模式识别 · 计算机科学 2023-09-19 Yize Cheng , Wenbin Hu , Minhao Cheng

Deep Neural Networks (DNNs) have been shown to be vulnerable to adversarial examples. While numerous successful adversarial attacks have been proposed, defenses against these attacks remain relatively understudied. Existing defense…

机器学习 · 计算机科学 2025-06-17 Furkan Mumcu , Yasin Yilmaz

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…

图像与视频处理 · 电气工程与系统科学 2022-09-08 Sumedha Singla