中文
相关论文

相关论文: Optimizing Product Provenance Verification using D…

200 篇论文

Cyber-physical systems come with increasingly complex architectures and failure modes, which complicates the task of obtaining accurate system reliability models. At the same time, with the emergence of the (industrial) Internet-of-Things,…

形式语言与自动机理论 · 计算机科学 2019-09-16 Alexis Linard , Doina Bucur , Marielle Stoelinga

Time series visualization plays a crucial role in identifying patterns and extracting insights across various domains. However, as datasets continue to grow in size, visualizing them effectively becomes challenging. Downsampling, which…

人机交互 · 计算机科学 2023-04-04 Jonas Van Der Donckt , Jeroen Van Der Donckt , Michael Rademaker , Sofie Van Hoecke

Scenario-based approaches for the validation of highly automated driving functions are based on the search for safety-critical characteristics of driving scenarios using software-in-the-loop simulations. This search requires information…

Due to increasing numbers of product piracy worldwide, a cost-effective method for verifying the origin of a product is to be developed. For this purpose, a certificate of authenticity can be created using precisely measurable, unique…

密码学与安全 · 计算机科学 2023-04-27 Oliver Linne

Detecting the origin of information or infection spread in networks is a fundamental challenge with applications in misinformation tracking, epidemiology, and beyond. We study the multi-source detection problem: given snapshot observations…

社会与信息网络 · 计算机科学 2025-12-02 Xingchao Jian , Purui Zhang , Lan Tian , Feng Ji , Wenfei Liang , Wee Peng Tay , Bihan Wen , Felix Krahmer

Many product lines are critical, and therefore reliability is a vital part of their requirements. Reliability is a probabilistic property. We therefore propose a model for feature-aware discrete-time Markov chains as a basis for verifying…

This study introduces the Iterative Refinement Process (IRP), a robust anomaly detection methodology designed for high-stakes industrial quality control. The IRP enhances defect detection accuracy through a cyclic data refinement strategy,…

计算机视觉与模式识别 · 计算机科学 2025-03-04 Muhammad Aqeel , Shakiba Sharifi , Marco Cristani , Francesco Setti

Iterative-based methods have become mainstream in stereo matching due to their high performance. However, these methods heavily rely on labeled data and face challenges with unlabeled real-world data. To this end, we propose a…

计算机视觉与模式识别 · 计算机科学 2025-04-01 Jingyi Zhou , Peng Ye , Haoyu Zhang , Jiakang Yuan , Rao Qiang , Liu YangChenXu , Wu Cailin , Feng Xu , Tao Chen

Complexity and uncertainty associated with commodity resource valuation and extraction requires stochastic control methods suitable for high dimensional states. Recent progress in duality and trajectory-wise techniques has introduced a…

最优化与控制 · 数学 2016-07-14 Juri Hinz , Tanya Tarnopolskaya , Jeremy Yee

This paper presents an end-to-end, IoT-enabled robotic system for the non-destructive, real-time, and spatially-resolved mapping of grape yield and quality (Brix, Acidity) in vineyards. The system features a comprehensive analytical…

计算机视觉与模式识别 · 计算机科学 2025-10-07 Ciem Cornelissen , Sander De Coninck , Axel Willekens , Sam Leroux , Pieter Simoens

Model validity is as critical as the model itself, especially when guiding decision-making processes. Traditional approaches often rely on predefined validity frames, which may not always be available or sufficient. This paper introduces…

人工智能 · 计算机科学 2025-10-17 Raheleh Biglari , Joachim Denil

Deploying machine learning models in safety-critical domains poses a key challenge: ensuring reliable model performance on downstream user data without access to ground truth labels for direct validation. We propose the suitability filter,…

机器学习 · 计算机科学 2025-05-29 Angéline Pouget , Mohammad Yaghini , Stephan Rabanser , Nicolas Papernot

Support vector machine modeling is a new approach in machine learning for classification showing good performance on forecasting problems of small samples and high dimensions. Later, it promoted to Support Vector Regression (SVR) for…

机器学习 · 计算机科学 2021-03-23 Mohammadreza Ghanbari , Mahdi Goldani

Vision-based reinforcement learning (RL) is a promising approach to solve control tasks involving images as the main observation. State-of-the-art RL algorithms still struggle in terms of sample efficiency, especially when using image…

机器学习 · 计算机科学 2021-10-05 Elie Aljalbout , Maximilian Ulmer , Rudolph Triebel

Distribution Regression (DR) on stochastic processes describes the learning task of regression on collections of time series. Path signatures, a technique prevalent in stochastic analysis, have been used to solve the DR problem. Recent…

机器学习 · 计算机科学 2024-10-15 Andrew Alden , Carmine Ventre , Blanka Horvath

Modern cloud-based AI training relies on extensive telemetry and logs to ensure accountability. While these audit trails enable retrospective inspection, they struggle to address the inherent non-determinism of deep learning. Stochastic…

密码学与安全 · 计算机科学 2025-12-30 Kichang Lee , Sungmin Lee , Jaeho Jin , JeongGil Ko

Multi-source spatial point data prediction is crucial in fields like environmental monitoring and natural resource management, where integrating data from various sensors is the key to achieving a holistic environmental understanding.…

机器学习 · 计算机科学 2024-07-02 Dazhou Yu , Xiaoyun Gong , Yun Li , Meikang Qiu , Liang Zhao

Agriculture 3.0 and 4.0 have gradually introduced service robotics and automation into several agricultural processes, mostly improving crops quality and seasonal yield. Row-based crops are the perfect settings to test and deploy smart…

机器人学 · 计算机科学 2021-03-30 Vittorio Mazzia , Francesco Salvetti , Diego Aghi , Marcello Chiaberge

The transformations, analyses and interpretations of data in scientific workflows are vital for the repeatability and reliability of scientific workflows. This provenance of scientific workflows has been effectively carried out in Grid…

数据库 · 计算机科学 2016-11-18 Khawar Hasham , Kamran Munir , Jetendr Shamdasani , Richard McClatchey

Survey sampling is concerned with the estimation of finite population parameters. In practice, survey data suffer from item nonresponse, which is commonly handled through imputation, i.e., replacing missing values with predicted values. As…

统计方法学 · 统计学 2026-03-06 Ziming An , Mehdi Dagdoug , David Haziza