English
Related papers

Related papers: Validation of image systems simulation technology …

200 papers

In engineering, it is a common desire to couple existing simulation tools together into one big system by passing information from subsystems as parameters into the subsystems under influence. As executed at fixed time points, this data…

Numerical Analysis · Mathematics 2017-04-25 Thilo Moshagen

This paper presents a comprehensive survey of computational imaging (CI) techniques and their transformative impact on computer vision (CV) applications. Conventional imaging methods often fail to deliver high-fidelity visual data in…

Computer Vision and Pattern Recognition · Computer Science 2025-09-11 Humera Shaikh , Kaur Jashanpreet

Verification of numerical accuracy properties in modern software remains an important and challenging task. This paper describes an original framework combining different solutions for numerical accuracy. First, we extend an existing…

Software Engineering · Computer Science 2019-11-26 Maxime Jacquemin , Fonenantsoa Maurica , Nikolai Kosmatov , Julien Signoles , Franck Védrine

Near Infrared (NIR) spectroscopy is widely used in industrial quality control and automation to test the purity and grade of items. In this research, we propose a novel sensorized end effector and acquisition strategy to capture spectral…

We describe a new software package for simulating channelised, high-time resolution data streams from radio telescopes. The software simulates data from the telescope and observing system taking into account the observation strategy,…

Instrumentation and Methods for Astrophysics · Physics 2022-05-09 Rui Luo , George Hobbs , Suk Yee Yong , Andrew Zic , Lawrence Toomey , Shi Dai , Alex Dunning , Di Li , Tommy Marshman , Chen Wang , Pei Wang , Shuangqiang Wang , Songbo Zhang

For the design and implementation of engineering systems, performing model-based analysis can disclose potential safety issues at an early stage. The analysis of hybrid system models is in general difficult due to the intrinsic complexity…

Systems and Control · Computer Science 2015-01-26 Yi Deng , Agung Julius

Multi-particle interference is a key resource for quantum information processing, as exemplified by Boson Sampling. Hence, given its fragile nature, an essential desideratum is a solid and reliable framework for its validation. However,…

Photographs are considered to be the most powerful and trustworthy media of expression. For a long time, those were accepted as proves of evidences in varied fields such as journalism, forensic investigations, military intelligence,…

Cryptography and Security · Computer Science 2013-07-01 Minati Mishra , Flt. Lt. Dr. M. C. Adhikary

Real-time spatial monitoring in underground longwall operations is challenging due to methane-related safety risks, poor visibility, elevated thermal loads, spatial confinement, and bandwidth-limited communications. Currently available…

Image and Video Processing · Electrical Eng. & Systems 2026-05-05 Pasindu Ranasinghe , Bikram Banerjee , Simit Raval

The intricate design of real complex injection molds poses significant challenges. Mold design vali-dation often falls to operators with tool-handling experience but limited CAD proficiency. Unlike other industries, the scale and costs of…

Numerical Analysis · Mathematics 2025-07-29 J. M. Mercado-Colmenero , D. F. Garcia-Molina , B. Gutierrez-Jimenez , C. Martin-Donate

End-to-end mission performance simulators (E2ES) are suitable tools to accelerate satellite mission development from concet to deployment. One core element of these E2ES is the generation of synthetic scenes that are observed by the various…

Signal Processing · Electrical Eng. & Systems 2020-12-10 J. Vicent , J. Verrelst , J. P. Rivera-Caicedo , N. Sabater , J. Muñoz-Marí , G. Camps-Valls , J. Moreno

The High Luminosity upgrade of the CERN Large Hadron Collider will be able to reach a peak instantaneous luminosity of 5E34/cm2 s. The innermost detectors of the CMS and ATLAS experiments will have to cope with unprecedented requirements on…

Instrumentation and Detectors · Physics 2021-06-16 Jordi Duarte-Campderros

Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems. The key challenge is to ensure their correct functioning w.r.t. safety requirements. Promising techniques to ensure…

Logic in Computer Science · Computer Science 2015-05-27 Stefan Mitsch , Grant Olney Passmore , Andre Platzer

The task of camera calibration is to estimate the intrinsic and extrinsic parameters of a camera model. Though there are some restricted techniques to infer the 3-D information about the scene from uncalibrated cameras, effective camera…

Computer Vision and Pattern Recognition · Computer Science 2016-08-31 Lili Ma , YangQuan Chen , Kevin L. Moore

We present a versatile computational image rendering software of optically-acquired holograms. The reported software can process 4 Megapixel 8-bit raw frames from a sensor array acquired at a sustained rate of 80 Hz. Video-rate image…

Optics · Physics 2015-06-18 Antoine Dillée , Romain Cancilliere , Fernando Lopes , Michael Atlan

This paper presents an integrated approach to Visual SLAM, merging online sequential photometric calibration within a Hybrid direct-indirect visual SLAM (H-SLAM). Photometric calibration helps normalize pixel intensity values under…

Robotics · Computer Science 2024-09-26 Nicolas Abboud , Malak Sayour , Imad H. Elhajj , John Zelek , Daniel Asmar

Perception-based neural network controllers are increasingly used in autonomous systems that rely on visual inputs to operate in the real world. Ensuring the safety of such systems under uncertainty is challenging. Existing verification…

Robotics · Computer Science 2025-07-08 Alexander Estornell , Leonard Jung , Michael Everett

We can only allow human-robot-cooperation in a common work cell if the human integrity is guaranteed. A surveillance system with multiple cameras can detect collisions without contact to the human collaborator. A failure safe system needs…

Robotics · Computer Science 2021-03-23 Maria L. Hänel , Johannes Völkel , Dominik Henrich

Simulations of frames from existing and upcoming high-resolution spectrographs, targeted for high accuracy radial velocity measurements, are computationally demanding (both in time and space). We present in this paper an innovative approach…

Instrumentation and Methods for Astrophysics · Physics 2020-08-14 M. Genoni , M. Landoni , G. Pariani , M. Riva , A. Bianco , G. Li Causi , T. Marquart , F. A. Pepe , A. Marconi , E. Oliva

With the recent advancement in visualization devices over the last years, we are seeing a growing market for stereoscopic content. In order to convey 3D content by means of stereoscopic displays, one needs to transmit and display at least 2…

Optics · Physics 2009-11-11 L. P. Yaroslavsky , J. Campos , M. Espinola , I. Ideses