English
Related papers

Related papers: New Common Proper-Motion Pairs From the PPMX Catal…

200 papers

Mixed-paradigm process models integrate strengths of procedural and declarative representations like Petri nets and Declare. They are specifically interesting for process mining because they allow capturing complex behaviour in a compact…

Formal Languages and Automata Theory · Computer Science 2020-11-30 Boudewijn van Dongen , Johannes De Smedt , Claudio Di Ciccio , Jan Mendling

Parametric model checking (PMC) computes algebraic formulae that express key non-functional properties of a system (reliability, performance, etc.) as rational functions of the system and environment parameters. In software engineering, PMC…

Software Engineering · Computer Science 2021-02-03 Xinwei Fang , Radu Calinescu , Simos Gerasimou , Faisal Alhwikem

Multiple Object Tracking (MOT) has rapidly progressed in recent years. Existing works tend to design a single tracking algorithm to perform both detection and association. Though ensemble learning has been exploited in many tasks, i.e,…

Computer Vision and Pattern Recognition · Computer Science 2023-02-20 Yunhao Du , Zihang Liu , Fei Su

An efficient and versatile implementation of offline multiple hypothesis tracking with Algorithm X for optimal association search was developed using Python. The code is intended for scientific applications that do not require online…

Computer Vision and Pattern Recognition · Computer Science 2022-03-14 Peteris Zvejnieks , Mihails Birjukovs , Martins Klevs , Megumi Akashi , Sven Eckert , Andris Jakovics

Detecting undesired process behavior is one of the main tasks of process mining and various conformance-checking techniques have been developed to this end. These techniques typically require a normative process model as input, specifically…

Software Engineering · Computer Science 2025-08-25 Adrian Rebmann , Timotheus Kampik , Carl Corea , Han van der Aa

Screening traditionally refers to the problem of detecting active inputs in the computer model. In this paper, we develop methodology that applies to screening, but the main focus is on detecting active inputs not in the computer model…

Computation · Statistics 2024-02-20 Pierre Barbillon , Anabel Forte , Rui Paulo

Motion detection has been widely used in many applications, such as surveillance and robotics. Due to the presence of the static background, a motion video can be decomposed into a low-rank background and a sparse foreground. Many…

Computer Vision and Pattern Recognition · Computer Science 2023-04-12 Jing Qin , Biyun Xie

This version is ***superseded*** by a full version that can be found at http://www.itu.dk/people/pagh/papers/mining-jour.pdf, which contains stronger theoretical results and fixes a mistake in the reporting of experiments. Abstract:…

Data Structures and Algorithms · Computer Science 2010-02-17 Andrea Campagna , Rasmus Pagh

Recent advances in data-driven reinforcement learning and motion tracking have substantially improved humanoid locomotion, yet critical practical challenges remain. In particular, while low-level motion tracking and trajectory-following…

Robotics · Computer Science 2026-02-25 Chenxi Han , Yuheng Min , Zihao Huang , Ao Hong , Hang Liu , Yi Cheng , Houde Liu

This paper introduces a taxonomy of manipulations as seen especially in cooking for 1) grouping manipulations from the robotics point of view, 2) consolidating aliases and removing ambiguity for motion types, and 3) provide a path to…

Robotics · Computer Science 2020-08-03 David Paulius , Yongqiang Huang , Jason Meloncon , Yu Sun

Protein function does not solely depend on structure but often relies on dynamical transitions between distinct conformations. Despite this fact, our ability to characterize or predict protein dynamics is substantially less developed…

Statistical Mechanics · Physics 2026-05-08 Michael A. Sauer , Souvik Mondal , Brandon Neff , Sthitadhi Maiti , Matthias Heyden

MEx: Multi-modal Exercises Dataset is a multi-sensor, multi-modal dataset, implemented to benchmark Human Activity Recognition(HAR) and Multi-modal Fusion algorithms. Collection of this dataset was inspired by the need for recognising and…

Computer Vision and Pattern Recognition · Computer Science 2019-08-27 Anjana Wijekoon , Nirmalie Wiratunga , Kay Cooper

The development of rigorous quality assessment model relies on the collection of reliable subjective data, where the perceived quality of visual multimedia is rated by the human observers. Different subjective assessment protocols can be…

Artificial Intelligence · Computer Science 2020-10-02 Suiyi Ling , Jing Li , Anne Flore Perrin , Zhi Li , Lukáš Krasula , Patrick Le Callet

We develop new statistics for robustly filtering corrupted keypoint matches in the structure from motion pipeline. The statistics are based on consistency constraints that arise within the clustered structure of the graph of keypoint…

Computer Vision and Pattern Recognition · Computer Science 2022-01-19 Yunpeng Shi , Shaohan Li , Tyler Maunu , Gilad Lerman

In this paper we describe a general approach to optimal imperfect maintenance activities of a repairable equipment with independent components. Most of the existing works on optimal imperfect maintenance activities of a repairable equipment…

Optimization and Control · Mathematics 2024-12-12 Rubén Mullor , Julio Mulero , Mario Trottini

Web log data is usually diverse and voluminous. This data must be assembled into a consistent, integrated and comprehensive view, in order to be used for pattern discovery. Without properly cleaning, transforming and structuring the data…

Databases · Computer Science 2011-04-13 C. Ramya , K S Shreedhara , G Kavitha

The motion-and-time analysis has been a popular research topic in operations research, especially for analyzing work performances in manufacturing and service operations. It is regaining attention as continuous improvement tools for lean…

Computer Vision and Pattern Recognition · Computer Science 2020-08-26 Chiwoo Park , Sang Do Noh , Anuj Srivastava

In the context of proxy modeling for process systems, traditional data-driven deep learning approaches frequently encounter significant challenges, such as substantial training costs induced by large amounts of data, and limited…

Machine Learning · Computer Science 2024-07-09 Pengwei Liu , Zhongkai Hao , Xingyu Ren , Hangjie Yuan , Jiayang Ren , Dong Ni

Most popular strategies to capture subjective judgments from humans involve the construction of a unidimensional relative measurement scale, representing order preferences or judgments about a set of objects or conditions. This information…

Applications · Statistics 2017-12-18 Maria Perez-Ortiz , Rafal K. Mantiuk

We present an improved clustering based, unsupervised anomalous trajectory detection algorithm for crowded scenes. The proposed work is based on four major steps, namely, extraction of trajectories from crowded scene video, extraction of…

Computer Vision and Pattern Recognition · Computer Science 2019-07-04 Deepan Das , Deepak Mishra