English
Related papers

Related papers: Efficient Black-box Checking of Snapshot Isolation…

200 papers

This paper presents a novel observer-based approach to detect and isolate faulty sensors in nonlinear systems. The proposed sensor fault detection and isolation (s-FDI) method applies to a general class of nonlinear systems. Our focus is on…

Optimization and Control · Mathematics 2023-11-23 John Cao , Muhammad Umar B. Niazi , Matthieu Barreau , Karl Henrik Johansson

In practice, we can not only disable some events, but also enforce the occurrence of some events prior to the occurrence of other events by external control. In this paper, we combine these two control mechanisms to synthesize a more…

Systems and Control · Electrical Eng. & Systems 2023-01-10 Lin Cao , Shaolong Shu , Feng Lin

Dataset condensation aims to synthesize compact yet informative datasets that retain the training efficacy of full-scale data, offering substantial gains in efficiency. Recent studies reveal that the condensation process can be vulnerable…

Cryptography and Security · Computer Science 2026-04-01 He Yang , Dongyi Lv , Song Ma , Wei Xi , Jizhong Zhao

Existing shadow detection datasets often contain missing or mislabeled shadows, which can hinder the performance of deep learning models trained directly on such data. To address this issue, we propose SILT, the Shadow-aware Iterative Label…

Computer Vision and Pattern Recognition · Computer Science 2023-08-24 Han Yang , Tianyu Wang , Xiaowei Hu , Chi-Wing Fu

Whole Slide Imaging (WSI) is a cornerstone of digital pathology, offering detailed insights critical for diagnosis and research. Yet, the gigapixel size of WSIs imposes significant computational challenges, limiting their practical utility.…

Image and Video Processing · Electrical Eng. & Systems 2024-11-15 Ravi Kant Gupta , Shounak Das , Amit Sethi

Deep learning-based fine-grained network intrusion detection systems (NIDS) enable different attacks to be responded to in a fast and targeted manner with the help of large-scale labels. However, the cost of labeling causes insufficient…

Cryptography and Security · Computer Science 2023-08-02 Xinran Zheng , Shuo Yang , Xingjun Wang

The cybersecurity breaches expose surveillance video streams to forgery attacks, under which authentic streams are falsified to hide unauthorized activities. Traditional video forensics approaches can localize forgery traces using…

Cryptography and Security · Computer Science 2022-01-25 Yong Huang , Xiang Li , Wei Wang , Tao Jiang , Qian Zhang

The success of deep learning in supervised fine-grained recognition for domain-specific tasks relies heavily on expert annotations. The Open-Set for fine-grained Self-Supervised Learning (SSL) problem aims to enhance performance on…

Computer Vision and Pattern Recognition · Computer Science 2024-12-24 Prajwal Singh , Gautam Vashishtha , Indra Deep Mastan , Shanmuganathan Raman

Malicious Python packages make software supply chains vulnerable by exploiting trust in open-source repositories like Python Package Index (PyPI). Lack of real-time behavioral monitoring makes metadata inspection and static code analysis…

Cryptography and Security · Computer Science 2025-03-04 Sk Tanzir Mehedi , Chadni Islam , Gowri Ramachandran , Raja Jurdak

The Semi-Algebraic framework for the approximate Canonical Polyadic (CP) decomposition via SImultaneaous matrix diagonalization (SECSI) is an efficient tool for the computation of the CP decomposition. The SECSI framework reformulates the…

Information Theory · Computer Science 2017-10-19 Sher Ali Cheema , Emilio Rafael Balda , Yao Cheng , Martin Haardt , Amir Weiss , Arie Yeredor

Similarity, or clone, detection has important applications in copyright violation, software theft, code search, and the detection of malicious components. There is now a good number of open source and proprietary clone detectors for…

Programming Languages · Computer Science 2023-02-21 Farima Farmahinifarahani , Cristina V. Lopes

Estimating the probability of failure is an important step in the certification of safety-critical systems. Efficient estimation methods are often needed due to the challenges posed by high-dimensional input spaces, risky test scenarios,…

Machine Learning · Computer Science 2024-07-02 Robert J. Moss , Mykel J. Kochenderfer , Maxime Gariel , Arthur Dubois

Modern Earth observation satellites capture multi-exposure bursts of push-frame images that can be super-resolved via computational means. In this work, we propose a super-resolution method for such multi-exposure sequences, a problem that…

Computer Vision and Pattern Recognition · Computer Science 2022-05-05 Ngoc Long Nguyen , Jérémy Anger , Axel Davy , Pablo Arias , Gabriele Facciolo

A distributed system consisting of a huge number of computational entities is prone to faults, because faults in a few nodes cause the entire system to fail. Consequently, fault tolerance of distributed systems is a critical issue.…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-03-30 Junya Nakamura , Yonghwan Kim , Yoshiaki Katayama , Toshimitsu Masuzawa

Accurate defect segmentation is critical for industrial inspection, yet dense pixel-level annotations are rarely available. A common workaround is to convert inexpensive bounding boxes into pseudo-masks using foundation segmentation models…

Computer Vision and Pattern Recognition · Computer Science 2026-04-14 Camile Lendering , Erkut Akdag , Egor Bondarev

Recently, speech assistant and speech verification have been used in many fields, which brings much benefit and convenience for us. However, when we enjoy these speech applications, our speech may be collected by attackers for speech…

Cryptography and Security · Computer Science 2025-09-03 Yuwen Pu , Zhou Feng , Chunyi Zhou , Jiahao Chen , Chunqiang Hu , Haibo Hu , Shouling Ji

Hyperspectral image (HSI) classification aims to categorize each pixel in an HSI into a specific land cover class, which is crucial for applications such as remote sensing, environmental monitoring, and agriculture. Although deep…

Computer Vision and Pattern Recognition · Computer Science 2025-12-24 Li Pang , Jing Yao , Kaiyu Li , Jun Zhou , Deyu Meng , Xiangyong Cao

To ensure the reliability of cloud systems, their performance is monitored using KPIs (key performance indicators). When issues arise, root cause localization identifies KPIs responsible for service degradation, aiding in quick diagnosis…

Learning from bounding-boxes annotations has shown great potential in weakly-supervised 3D point cloud instance segmentation. However, we observed that existing methods would suffer severe performance degradation with perturbed bounding box…

Computer Vision and Pattern Recognition · Computer Science 2023-09-06 Qingtao Yu , Heming Du , Chen Liu , Xin Yu

This paper aims at developing a clustering approach with spectral images directly from CASSI compressive measurements. The proposed clustering method first assumes that compressed measurements lie in the union of multiple low-dimensional…

Image and Video Processing · Electrical Eng. & Systems 2019-11-06 Jianchen Zhu , Tong Zhang , Shengjie Zhao , Carlos Hinojosa , Zengli Liu , Gonzalo R. Arce
‹ Prev 1 4 5 6 7 8 10 Next ›