English
Related papers

Related papers: Alloy-Driven Verification of Object-Centric Event …

200 papers

The exponential expansion of real-time data streams across multiple domains needs the development of effective event detection, correlation, and decision-making systems. However, classic Complex Event Processing (CEP) systems struggle with…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-03-28 Ritesh Chandra , Sonali Agarwal , Shashi Shekhar Kumar , Navjot Singh

Real-time object localization on edge devices is fundamental for numerous applications, ranging from surveillance to industrial automation. Traditional frameworks, such as object detection, segmentation, and keypoint detection, struggle in…

Computer Vision and Pattern Recognition · Computer Science 2024-11-26 Chen Xin , Thomas Motz , Andreas Hartel , Enkelejda Kasneci

Our collective attention span is shortened by the flood of online information. With \textit{FarFetched}, we address the need for automated claim validation based on the aggregated evidence derived from multiple online news sources. We…

Computation and Language · Computer Science 2024-07-16 Dimitris Papadopoulos , Katerina Metropoulou , Nikolaos Matsatsinis , Nikolaos Papadakis

Auto-active verifiers provide a level of automation intermediate between fully automatic and interactive: users supply code with annotations as input while benefiting from a high level of automation in the back-end. This paper presents…

Logic in Computer Science · Computer Science 2015-09-01 Julian Tschannen , Carlo A. Furia , Martin Nordio , Nadia Polikarpova

Event-based approaches, which are based on bio-inspired asynchronous event cameras, have achieved promising performance on various computer vision tasks. However, the study of the fundamental event data association problem is still in its…

Computer Vision and Pattern Recognition · Computer Science 2025-06-30 Haosheng Chen , Yue Wu , Yidong Peng

Detecting 3D objects in point clouds plays a crucial role in autonomous driving systems. Recently, advanced multi-modal methods incorporating camera information have achieved notable performance. For a safe and effective autonomous driving…

Computer Vision and Pattern Recognition · Computer Science 2025-02-28 Hoonhee Cho , Jae-young Kang , Youngho Kim , Kuk-Jin Yoon

Robust multi-object tracking (MOT) is a prerequisite fora safe deployment of self-driving cars. Tracking objects, however, remains a highly challenging problem, especially in cluttered autonomous driving scenes in which objects tend to…

Computer Vision and Pattern Recognition · Computer Science 2020-08-20 Wei-Chih Hung , Henrik Kretzschmar , Tsung-Yi Lin , Yuning Chai , Ruichi Yu , Ming-Hsuan Yang , Dragomir Anguelov

Accurate and reliable object detection is critical for ensuring the safety and efficiency of Connected Autonomous Vehicles (CAVs). Traditional on-board perception systems have limited accuracy due to occlusions and blind spots, while…

Robotics · Computer Science 2025-09-25 Everett Richards , Bipul Thapa , Lena Mashayekhy

Event detection is a critical task for timely decision-making in graph analytics applications. Despite the recent progress towards deep learning on graphs, event detection on dynamic graphs presents particular challenges to existing…

Machine Learning · Computer Science 2023-02-15 Mert Kosan , Arlei Silva , Sourav Medya , Brian Uzzi , Ambuj Singh

Social event detection (SED) is a task focused on identifying specific real-world events and has broad applications across various domains. It is integral to many mobile applications with social features, including major platforms like…

Social and Information Networks · Computer Science 2025-02-11 Yao Liu , Zhilan Liu , Tien Ping Tan , Yuxin Li

Event-based vision revolutionizes traditional image sensing by capturing asynchronous intensity variations rather than static frames, enabling ultrafast temporal resolution, sparse data encoding, and enhanced motion perception. While this…

Computer Vision and Pattern Recognition · Computer Science 2025-03-25 Joey Mulé , Dhandeep Challagundla , Rachit Saini , Riadul Islam

As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While Event-B uses theorem provers to prove that invariants hold…

Logic in Computer Science · Computer Science 2008-05-30 Paulo J. Matos , Joao Marques-Silva

3D scene graph prediction aims to abstract complex 3D environments into structured graphs consisting of objects and their pairwise relationships. Existing approaches typically adopt object-centric graph neural networks, where relation edge…

Computer Vision and Pattern Recognition · Computer Science 2025-11-20 Yanni Ma , Hao Liu , Yulan Guo , Theo Gevers , Martin R. Oswald

This paper presents a long-term object tracking framework with a moving event camera under general tracking conditions. A first of its kind for these revolutionary cameras, the tracking framework uses a discriminative representation for the…

Computer Vision and Pattern Recognition · Computer Science 2020-09-03 Bharath Ramesh , Shihao Zhang , Hong Yang , Andres Ussa , Matthew Ong , Garrick Orchard , Cheng Xiang

Event detection (ED) identifies and classifies event triggers from unstructured texts, serving as a fundamental task for information extraction. Despite the remarkable progress achieved in the past several years, most research efforts focus…

Computation and Language · Computer Science 2022-11-28 Xiangyu Xi , Jianwei Lv , Shuaipeng Liu , Wei Ye , Fan Yang , Guanglu Wan

Recent advancements in IoT technologies have underscored the importance of using sensor data to understand environmental contexts effectively. This paper introduces a novel embedded system designed to autonomously label sensor data directly…

Machine Learning · Computer Science 2024-07-17 Tianheng Ling , Islam Mansour , Chao Qian , Gregor Schiele

A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links. This work focuses on emerging W3C standards which…

Logic in Computer Science · Computer Science 2011-08-02 Ross Horne , Vladimiro Sassone

The ability to detect objects in all lighting (i.e., normal-, over-, and under-exposed) conditions is crucial for real-world applications, such as self-driving.Traditional RGB-based detectors often fail under such varying lighting…

Computer Vision and Pattern Recognition · Computer Science 2024-03-20 Jiahang Cao , Xu Zheng , Yuanhuiyi Lyu , Jiaxu Wang , Renjing Xu , Lin Wang

Although foundation models (FMs) claim to be powerful, their generalization ability significantly decreases when faced with distribution shifts, weak supervision, or malicious attacks in the open world. On the other hand, most domain…

Computer Vision and Pattern Recognition · Computer Science 2025-03-25 Luyao Tang , Yuxuan Yuan , Chaoqi Chen , Zeyu Zhang , Yue Huang , Kun Zhang

Fact checking aims to predict claim veracity by reasoning over multiple evidence pieces. It usually involves evidence retrieval and veracity reasoning. In this paper, we focus on the latter, reasoning over unstructured text and structured…

Computation and Language · Computer Science 2024-02-21 Haisong Gong , Weizhi Xu , Shu wu , Qiang Liu , Liang Wang