English
Related papers

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

200 papers

Process mining extracts valuable insights from event data to help organizations improve their business processes, which is essential for their growth and success. By leveraging process mining techniques, organizations gain a comprehensive…

Databases · Computer Science 2024-06-14 Nesma M. Zaki , Iman M. A. Helal , Ehab E. Hassanein , Ahmed Awad

Traditional object detection methods operate under the closed-set assumption, where models can only detect a fixed number of objects predefined in the training set. Recent works on open vocabulary object detection (OVD) enable the detection…

Computer Vision and Pattern Recognition · Computer Science 2026-02-27 Zizhao Li , Zhengkang Xiang , Joseph West , Kourosh Khoshelham

Unsupervised object-centric learning methods allow the partitioning of scenes into entities without additional localization information and are excellent candidates for reducing the annotation burden of multiple-object tracking (MOT)…

Accurately detecting active objects undergoing state changes is essential for comprehending human interactions and facilitating decision-making. The existing methods for active object detection (AOD) primarily rely on visual appearance of…

Computer Vision and Pattern Recognition · Computer Science 2024-05-22 Dejie Yang , Yang Liu

Out-of-distribution (OOD) detection is crucial for ensuring the reliability of deep learning models. Existing methods mostly focus on regular entangled representations to discriminate in-distribution (ID) and OOD data, neglecting the rich…

Computer Vision and Pattern Recognition · Computer Science 2026-05-11 Boyang Dai , Chaoqi Chen , Yizhou Yu

As the demand for privacy in visual data management grows, safeguarding sensitive information has become a critical challenge. This paper addresses the need for privacy-preserving solutions in large-scale visual data processing by…

Computer Vision and Pattern Recognition · Computer Science 2025-02-12 Pedro Santos , Tânia Carvalho , Filipe Magalhães , Luís Antunes

As data and knowledge expand rapidly, adopting systematic methodologies for ontology generation has become crucial. With the daily increases in data volumes and frequent content changes, the demand for databases to store and retrieve…

Software Engineering · Computer Science 2025-06-27 Srikar Reddy Gadusu , Larry Callahan , Samir Lababidi , Arunasri Nishtala , Sophia Healey , Hande McGinty

Validation of compliance rules against process data is a fundamental functionality for business process management. Over the years, the problem has been addressed for different types of process data, i.e., process models, process event data…

Databases · Computer Science 2022-06-22 Nesma M. Zaki , Iman M. A. Helal , Ahmed Awad , Ehab E. Hassanein

With the widespread consumption of AI-generated content, there has been an increased focus on developing automated tools to verify the factual accuracy of such content. However, prior research and tools developed for fact verification treat…

Computation and Language · Computer Science 2025-03-20 Varich Boonsanong , Vidhisha Balachandran , Xiaochuang Han , Shangbin Feng , Lucy Lu Wang , Yulia Tsvetkov

The pivotal role that event correlation technology plays in todays applications has lead to the emergence of different families of event correlation approaches with a multitude of specialized correlation semantics, including computation…

Programming Languages · Computer Science 2019-07-09 Oliver Bračevac , Guido Salvaneschi , Sebastian Erdweg , Mira Mezini

Time series event detection methods are evaluated mainly by standard classification metrics that focus solely on detection accuracy. However, inaccuracy in detecting an event can often result from its preceding or delayed effects reflected…

Operational knowledge is one of the most valuable assets in a company, as it provides a strategic advantage over competitors and ensures steady and optimal operation in machines. An (interactive) assessment system on the shop floor can…

Human-Computer Interaction · Computer Science 2024-04-17 Fernando Arevalo N. , Christian Alison M. Piolo , Tahasanul Ibrahim , Andreas Schwung

Events defined by the interaction of objects in a scene are often of critical importance; yet important events may have insufficient labeled examples to train a conventional deep model to generalize to future object appearance. Activity…

Computer Vision and Pattern Recognition · Computer Science 2019-10-01 Roei Herzig , Elad Levi , Huijuan Xu , Hang Gao , Eli Brosh , Xiaolong Wang , Amir Globerson , Trevor Darrell

This vision paper articulates a long-term research agenda for formal methods at the intersection with artificial intelligence, outlining multiple conceptual and technical dimensions and reporting on our ongoing work toward realising this…

Software Engineering · Computer Science 2026-02-04 Arshad Beg , Diarmuid O'Donoghue , Rosemary Monahan

Traditional security detection methods face three key challenges: inadequate data collection that misses critical security events, resource-intensive monitoring systems, and poor detection algorithms with high false positive rates. We…

Cryptography and Security · Computer Science 2025-06-06 Limin Wang , Lei Bu , Muzimiao Zhang , Shihong Cang , Kai Ye

Traditional process mining considers only one single case notion and discovers and analyzes models based on this. However, a single case notion is often not a realistic assumption in practice. Multiple case notions might interact and…

Databases · Computer Science 2021-10-12 Jan Niklas Adams , Wil M. P. van der Aalst

The validation of highly automated, perception-based driving systems must ensure that they function correctly under the full range of real-world conditions. Scenario-based testing is a prominent approach to addressing this challenge, as it…

Robotics · Computer Science 2025-12-15 Steffen Schäfer , Martin Cichon

Autonomous vehicles (AVs) can achieve the desired results within a short duration by offloading tasks even requiring high computational power (e.g., object detection (OD)) to edge clouds. However, although edge clouds are exploited,…

Networking and Internet Architecture · Computer Science 2020-08-18 Seung Wook Kim , Keunsoo Ko , Haneul Ko , Victor C. M. Leung

Process event data is usually stored either in a sequential process event log or in a relational database. While the sequential, single-dimensional nature of event logs aids querying for (sub)sequences of events based on temporal relations…

Databases · Computer Science 2021-04-06 Stefan Esser , Dirk Fahland

Semantic embedding has been widely investigated for aligning knowledge graph (KG) entities. Current methods have explored and utilized the graph structure, the entity names and attributes, but ignore the ontology (or ontological schema)…

Computation and Language · Computer Science 2021-05-25 Yuejia Xiang , Ziheng Zhang , Jiaoyan Chen , Xi Chen , Zhenxi Lin , Yefeng Zheng
‹ Prev 1 4 5 6 7 8 10 Next ›