中文
相关论文

相关论文: Uncertainty-Aware Test Prioritization: Approaches …

200 篇论文

When deploying deep neural networks on robots or other physical systems, the learned model should reliably quantify predictive uncertainty. A reliable uncertainty allows downstream modules to reason about the safety of its actions. In this…

机器学习 · 计算机科学 2024-10-30 Simon Kristoffersson Lind , Ziliang Xiong , Per-Erik Forssén , Volker Krüger

Over the last decade, Unmanned Aerial Vehicles (UAVs) have been extensively used in many commercial applications due to their manageability and risk avoidance. One of the main problems considered is the Mission Planning for multiple UAVs,…

人工智能 · 计算机科学 2024-03-01 Cristian Ramirez-Atencia , Victor Rodriguez-Fernandez , David Camacho

Scheduling with testing is a recent online problem within the framework of explorable uncertainty motivated by environments where some preliminary action can influence the duration of a task. Jobs have an unknown processing time that can be…

数据结构与算法 · 计算机科学 2021-08-20 Susanne Albers , Alexander Eckl

In principle, deep learning models trained on medical time-series, including wearable photoplethysmography (PPG) sensor data, can provide a means to continuously monitor physiological parameters outside of clinical settings. However, there…

Decision Focused Learning has emerged as a critical paradigm for integrating machine learning with downstream optimisation. Despite its promise, existing methodologies predominantly rely on probabilistic models and focus narrowly on task…

机器学习 · 计算机科学 2025-03-21 Keivan Shariatmadar , Neil Yorke-Smith , Ahmad Osman , Fabio Cuzzolin , Hans Hallez , David Moens

Prediction uncertainty estimation has clinical significance as it can potentially quantify prediction reliability. Clinicians may trust 'blackbox' models more if robust reliability information is available, which may lead to more models…

机器学习 · 计算机科学 2022-10-04 Michael Dohopolski , Kai Wang , Biling Wang , Ti Bai , Dan Nguyen , David Sher , Steve Jiang , Jing Wang

Computing tight over-approximation of reach sets of a controlled uncertain dynamical system is a common practice in verification of safety-critical cyber-physical systems (CPS). While several algorithms are available for this purpose, they…

系统与控制 · 电气工程与系统科学 2021-03-16 Shadi Haddad , Abhishek Halder

Scheduling in the factory setting is compounded by computational complexity and temporal uncertainty. Together, these two factors guarantee that the process of constructing an optimal schedule will be costly and the chances of executing…

人工智能 · 计算机科学 2013-04-12 B. R. Fox , Karl G. Kempf

Autonomous inspection tasks necessitate path-planning algorithms to efficiently gather observations from points of interest (POI). However, localization errors commonly encountered in urban environments can introduce execution uncertainty,…

机器人学 · 计算机科学 2024-04-12 Shmuel David Alpert , Kiril Solovey , Itzik Klein , Oren Salzman

Planning robust robot manipulation requires good forward models that enable robust plans to be found. This work shows how to achieve this using a forward model learned from robot data to plan push manipulations. We explore learning methods…

机器人学 · 计算机科学 2019-07-03 Ermano Arruda , Michael J Mathew , Marek Kopicki , Michael Mistry , Morteza Azad , Jeremy L Wyatt

This research leverages Conformal Prediction (CP) in the form of Conformal Predictive Systems (CPS) to accurately estimate uncertainty in a suite of machine learning (ML)-based radio metric models [1] as well as in a 2-D map-based ML path…

机器学习 · 计算机科学 2025-01-14 Alexis Bose , Jonathan Ethier , Ryan G. Dempsey , Yifeng Qiu

Machine learning systems and also, specifically, automatic speech recognition (ASR) systems are vulnerable against adversarial attacks, where an attacker maliciously changes the input. In the case of ASR systems, the most interesting cases…

音频与语音处理 · 电气工程与系统科学 2020-08-04 Sina Däubener , Lea Schönherr , Asja Fischer , Dorothea Kolossa

Performance measurement is an essential task once a statistical model is created. The Area Under the receiving operating characteristics Curve (AUC) is the most popular measure for evaluating the quality of a binary classifier. In this…

统计计算 · 统计学 2021-05-24 Robin Van Oirbeek , Jolien Ponnet , Tim Verdonck

We provide a novel computer-assisted technique for systematically analyzing first-order methods for optimization. In contrast with previous works, the approach is particularly suited for handling sublinear convergence rates and stochastic…

最优化与控制 · 数学 2021-12-22 Adrien Taylor , Francis Bach

Predicting query execution time is a fundamental issue underlying many database management tasks. Existing predictors rely on information such as cardinality estimates and system performance constants that are difficult to know exactly. As…

数据库 · 计算机科学 2014-08-29 Wentao Wu , Xi Wu , Hakan Hacıgümüş , Jeffrey F. Naughton

Robust Optimization has traditionally taken a pessimistic, or worst-case viewpoint of uncertainty which is motivated by a desire to find sets of optimal policies that maintain feasibility under a variety of operating conditions. In this…

机器学习 · 统计学 2017-11-22 Matthew Norton , Akiko Takeda , Alexander Mafusalov

In system development, epistemic uncertainty is an ever-present possibility when reasoning about the causal factors during hazard analysis. Such uncertainty is common when complicated systems interact with one another, and it is dangerous…

软件工程 · 计算机科学 2017-10-20 Chris Leong , Tim Kelly , Rob Alexander

Organizations struggle to handle sheer number of vulnerabilities in their cloud environments. The de facto methodology used for prioritizing vulnerabilities is to use Common Vulnerability Scoring System (CVSS). However, CVSS has inherent…

密码学与安全 · 计算机科学 2022-06-23 Muhammed Fatih Bulut , Abdulhamid Adebayo , Daby Sow , Steve Ocepek

In unsupervised combinatorial optimization (UCO), during training, one aims to have continuous decisions that are promising in a probabilistic sense for each training instance, which enables end-to-end training on initially discrete and…

机器学习 · 计算机科学 2025-06-23 Fanchen Bu , Kijung Shin

An overview of current debates and contemporary research devoted to the modeling of decision making processes and their facilitation directs attention to the Analytic Hierarchy Process (AHP). At the core of the AHP are various…

人工智能 · 计算机科学 2020-06-05 Paul Thaddeus Kazibudzki