English
Related papers

Related papers: RacerF: Data Race Detection with Frama-C (Competit…

200 papers

Vehicular crowd intelligence (VCI) is an emerging research field. Facilitated by state-of-the-art vehicular ad-hoc networks and artificial intelligence, various VCI applications come to place, e.g., collaborative sensing, positioning, and…

Machine Learning · Computer Science 2023-10-12 Changan Yang , Yaxing Chen , Yao Zhang , Helei Cui , Zhiwen Yu , Bin Guo , Zheng Yan , Zijiang Yang

Multi-way data extend two-way matrices into higher-dimensional tensors, often explored through dimensional reduction techniques. In this paper, we study the Parallel Factor Analysis (PARAFAC) model for handling multi-way data, representing…

Methodology · Statistics 2025-03-11 Mia Hubert , Mehdi Hirari

Estimating local false discovery rates (fdr) is central to large-scale multiple hypothesis testing, yet different methods often produce divergent results, and there is little guidance for selecting among them. Because ground truth…

Methodology · Statistics 2025-09-17 Jenna M. Landy , Giovanni Parmigiani

Software vulnerability detection can be formulated as a binary classification problem that determines whether a given code snippet contains security defects. Existing multimodal methods typically fuse Natural Code Sequence (NCS)…

Software Engineering · Computer Science 2026-04-24 Yun Bian , Yi Chen , HaiQuan Wang , ShiHao Li , Zhe Cui

In fraud detection, fraudsters often interact with many benign users, camouflaging their features or relations to hide themselves. Most existing work concentrates solely on either feature camouflage or relation camouflage, or decoupling…

Machine Learning · Computer Science 2025-01-23 Xiaocheng Zhang , Zhuangzhuang Ye , GuoPing Zhao , Jianing Wang , Xiaohong Su

Multi-Agent Path Finding (MAPF) is an important core problem for many new and emerging industrial applications. Many works appear on this topic each year, and a large number of substantial advancements and performance improvements have been…

Artificial Intelligence · Computer Science 2023-05-16 Bojie Shen , Zhe Chen , Muhammad Aamir Cheema , Daniel D. Harabor , Peter J. Stuckey

The number of RDF knowledge graphs available on the Web grows constantly. Gathering these graphs at large scale for downstream applications hence requires the use of crawlers. Although Data Web crawlers exist, and general Web crawlers could…

Large Language Models (LLMs) have become foundational in modern artificial intelligence, powering a wide range of applications from code generation and virtual assistants to scientific research and enterprise automation. However, concerns…

Machine Learning · Computer Science 2025-05-20 Le Vu Anh , Dinh Duc Nha Nguyen , Phi Long Nguyen

This work presents an attack-aware deepfake and image-forensics detector designed for robustness, well-calibrated probabilities, and transparent evidence under realistic deployment conditions. The method combines red-team training with…

Computer Vision and Pattern Recognition · Computer Science 2025-12-30 Noor Fatima , Hasan Faraz Khan , Muzammil Behzad

Discriminant Correlation Filters (DCF) based methods now become a kind of dominant approach to online object tracking. The features used in these methods, however, are either based on hand-crafted features like HoGs, or convolutional…

Computer Vision and Pattern Recognition · Computer Science 2017-04-14 Qiang Wang , Jin Gao , Junliang Xing , Mengdan Zhang , Weiming Hu

Autonomous drone racing in complex environments requires agile, high-speed flight while maintaining reliable obstacle avoidance. Differentiable-physics-based policy learning has recently demonstrated high sample efficiency and remarkable…

Robotics · Computer Science 2026-03-10 Yang Su , Feng Yu , Yu Hu , Xinze Niu , Linzuo Zhang , Fangyu Sun , Danping Zou

Performance analysis is challenging as different components (e.g.,different libraries, and applications) of a complex system can interact with each other. However, few existing tools focus on understanding such interactions. To bridge this…

Performance · Computer Science 2024-10-24 Steven , Tang , Mingcan Xiang , Yang Wang , Bo Wu , Jianjun Chen , Tongping Liu

We present the design and implementation of a RAG-based AI system benchmarking (RAGPerf) framework for characterizing the system behaviors of RAG pipelines. To facilitate detailed profiling and fine-grained performance analysis, RAGPerf…

Spatial dataflow architectures such as reconfigurable dataflow accelerators (RDA) can provide much higher performance and efficiency than CPUs and GPUs. In particular, vectorized reconfigurable dataflow accelerators (vRDA) in recent…

Hardware Architecture · Computer Science 2024-02-01 Alexander Rucker , Shiv Sundram , Coleman Smith , Matthew Vilim , Raghu Prabhakar , Fredrik Kjolstad , Kunle Olukotun

Autonomous racing presents unique challenges due to its non-linear dynamics, the high speed involved, and the critical need for real-time decision-making under dynamic and unpredictable conditions. Most traditional Reinforcement Learning…

Robotics · Computer Science 2025-05-13 Benedict Hildisch , Edoardo Ghignone , Nicolas Baumann , Cheng Hu , Andrea Carron , Michele Magno

Event detection tends to struggle when it needs to recognize novel event types with a few samples. The previous work attempts to solve this problem in the identify-then-classify manner but ignores the trigger discrepancy between event…

Computation and Language · Computer Science 2021-05-25 Xin Cong , Shiyao Cui , Bowen Yu , Tingwen Liu , Yubin Wang , Bin Wang

This paper presents the Rail-5k dataset for benchmarking the performance of visual algorithms in a real-world application scenario, namely the rail surface defects detection task. We collected over 5k high-quality images from railways…

Computer Vision and Pattern Recognition · Computer Science 2021-06-29 Zihao Zhang , Shaozuo Yu , Siwei Yang , Yu Zhou , Bingchen Zhao

This work introduces SynPF, an MCL-based algorithm tailored for high-speed racing environments. Benchmarked against Cartographer, a state-of-the-art pose-graph SLAM algorithm, SynPF leverages synergies from previous particle-filtering…

Robotics · Computer Science 2024-03-27 Tian Yi Lim , Edoardo Ghignone , Nicolas Baumann , Michele Magno

Real-time processing of data streams emanating from sensors is becoming a common task in Internet of Things scenarios. The key implementation goal consists in efficiently handling massive incoming data streams and supporting advanced data…

Databases · Computer Science 2017-05-17 Xiangnan Ren , Olivier Curé

Multi-instance Repetitive Action Counting (MRAC) aims to estimate the number of repetitive actions performed by multiple instances in untrimmed videos, commonly found in human-centric domains like sports and exercise. In this paper, we…

Computer Vision and Pattern Recognition · Computer Science 2024-09-09 Yin Tang , Wei Luo , Jinrui Zhang , Wei Huang , Ruihai Jing , Deyu Zhang
‹ Prev 1 8 9 10 Next ›