English
Related papers

Related papers: Optimizing Product Provenance Verification using D…

200 papers

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,…

Formal Languages and Automata Theory · Computer Science 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…

Human-Computer Interaction · Computer Science 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…

Cryptography and Security · Computer Science 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…

Social and Information Networks · Computer Science 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…

Software Engineering · Computer Science 2013-11-07 Maxime Cordy , Patrick Heymans , Pierre-Yves Schobbens , Amir Molzam Sharifloo , Carlo Ghezzi , Axel Legay

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,…

Computer Vision and Pattern Recognition · Computer Science 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…

Computer Vision and Pattern Recognition · Computer Science 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…

Optimization and Control · Mathematics 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…

Computer Vision and Pattern Recognition · Computer Science 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…

Artificial Intelligence · Computer Science 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,…

Machine Learning · Computer Science 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…

Machine Learning · Computer Science 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…

Machine Learning · Computer Science 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…

Machine Learning · Computer Science 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…

Cryptography and Security · Computer Science 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.…

Machine Learning · Computer Science 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…

Robotics · Computer Science 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…

Databases · Computer Science 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…

Methodology · Statistics 2026-03-06 Ziming An , Mehdi Dagdoug , David Haziza