English
Related papers

Related papers: MONAA: A Tool for Timed Pattern Matching with Auto…

200 papers

Robust online multi-person tracking requires the correct associations of online detection responses with existing trajectories. We address this problem by developing a novel appearance modeling approach to provide accurate appearance…

Computer Vision and Pattern Recognition · Computer Science 2017-03-14 Min Yang , Yunde Jia

Advancements in attention mechanisms have led to significant performance improvements in a variety of areas in machine learning due to its ability to enable the dynamic modeling of temporal sequences. A particular area in computer vision…

Computer Vision and Pattern Recognition · Computer Science 2021-12-14 Brennan Gebotys , Alexander Wong , David A. Clausi

Temporal misalignment (time offset) between sensors is common in low cost visual-inertial odometry (VIO) systems. Such temporal misalignment introduces inconsistent constraints for state estimation, leading to a significant positioning…

Robotics · Computer Science 2024-03-20 Chaoran Xiong , Guoqing Liu , Qi Wu , Songpengcheng Xia , Tong Hua , Kehui Ma , Zhen Sun , Yan Xiang , Ling Pei

Roboticists compare robot motions for tasks such as parameter tuning, troubleshooting, and deciding between possible motions. However, most existing visualization tools are designed for individual motions and lack the features necessary to…

Robotics · Computer Science 2024-07-04 Yeping Wang , Alexander Peseckis , Zelong Jiang , Michael Gleicher

The multi-modal perception methods are thriving in the autonomous driving field due to their better usage of complementary data from different sensors. Such methods depend on calibration and synchronization between sensors to get accurate…

Computer Vision and Pattern Recognition · Computer Science 2024-12-16 Zhihang Song , Lihui Peng , Jianming Hu , Danya Yao , Yi Zhang

The focus of this paper is the analysis of real-time systems with recursion, through the development of good theoretical techniques which are implementable. Time is modeled using clock variables, and recursion using stacks. Our technique…

Formal Languages and Automata Theory · Computer Science 2017-07-11 S. Akshay , Paul Gastin , Shankara Narayanan Krishna , Ilias Sarkar

In this paper, we propose an online Multi-Object Tracking (MOT) approach which integrates the merits of single object tracking and data association methods in a unified framework to handle noisy detections and frequent interactions between…

Computer Vision and Pattern Recognition · Computer Science 2019-02-05 Ji Zhu , Hua Yang , Nian Liu , Minyoung Kim , Wenjun Zhang , Ming-Hsuan Yang

High fidelity estimation algorithms for robotics require accurate data. However, timestamping of sensor data is a key issue that rarely receives the attention it deserves. Inaccurate timestamping can be compensated for in post-processing…

Robotics · Computer Science 2025-07-09 Morten Nissov , Nikhil Khedekar , Kostas Alexis

Human motion prediction is non-trivial in modern industrial settings. Accurate prediction of human motion can not only improve efficiency in human robot collaboration, but also enhance human safety in close proximity to robots. Among…

Robotics · Computer Science 2020-01-28 Weiye Zhao , Liting Sun , Changliu Liu , Masayoshi Tomizuka

Real world evolves in continuous time but computations are done from finite samples. Therefore, we study algorithms using finite observations in continuous-time linear dynamical systems. We first study the system identification problem, and…

Systems and Control · Electrical Eng. & Systems 2025-09-30 Hongyi Zhou , Jingwei Li , Jingzhao Zhang

PHOTONAI is a high-level Python API designed to simplify and accelerate machine learning model development. It functions as a unifying framework allowing the user to easily access and combine algorithms from different toolboxes into custom…

Parametric timed automata are a powerful formalism for reasoning on concurrent real-time systems with unknown or uncertain timing constants. In order to test the efficiency of new algorithms, a fair set of benchmarks is required. We present…

Logic in Computer Science · Computer Science 2021-06-21 Étienne André , Dylan Marinho , Jaco van de Pol

The online fusion and tracking of static objects from heterogeneous sensor detections is a fundamental problem in robotics, autonomous systems, and environmental mapping. Although classical data association approaches such as JPDA are well…

Robotics · Computer Science 2026-04-29 Jan Nausner , Kilian Wohlleben , Michael Hubner

This study proposes a method to automate the development of lookahead planning. The proposed method uses construction material conditions (i.e., appearances) and site space utilization to predict task completion rates. A Gated Recurrent…

Computer Vision and Pattern Recognition · Computer Science 2023-12-01 Eyob Mengiste , Borja Garcia de Soto , Timo Hartmann

Automata play important roles in wide area of computing and the growth of multicores calls for their efficient parallel implementation. Though it is known in theory that we can perform the computation of a finite automaton in parallel by…

Formal Languages and Automata Theory · Computer Science 2014-05-06 Ryoma Sin'ya , Kiminori Matsuzaki , Masataka Sassa

This paper presents the monitoring tool POLIMON for checking system behavior at runtime against specifications expressed as formulas in the real-time logic MTL or its extension with the freeze quantifier. The tool's distinguishing feature…

Logic in Computer Science · Computer Science 2024-04-25 Felix Klaedtke

Multiple Object Tracking (MOT) focuses on modeling the relationship of detected objects among consecutive frames and merge them into different trajectories. MOT remains a challenging task as noisy and confusing detection results often…

Computer Vision and Pattern Recognition · Computer Science 2023-02-07 Tao Wang , Kean Chen , Weiyao Lin , John See , Zenghui Zhang , Qian Xu , Xia Jia

We propose a distributed (single) target tracking scheme based on networked estimation and consensus algorithms over static sensor networks. The tracking part is based on linear time-difference-of-arrival (TDOA) measurement proposed in our…

Systems and Control · Electrical Eng. & Systems 2023-02-16 Mohammadreza Doostmohammadian , Mohammad Pirani , Usman A. Khan

Different from existing MOT (Multi-Object Tracking) techniques that usually aim at improving tracking accuracy and average FPS, real-time systems such as autonomous vehicles necessitate new requirements of MOT under limited computing…

Systems and Control · Electrical Eng. & Systems 2022-10-24 Donghwa Kang , Seunghoon Lee , Hoon Sung Chwa , Seung-Hwan Bae , Chang Mook Kang , Jinkyu Lee , Hyeongboo Baek

The complexity of adaptive control of nonlinear time-varying systems requires the use of novel methods that have lower computational complexity as well as ensuring good performance under time-varying parameter changes. In this study, we use…

Signal Processing · Electrical Eng. & Systems 2018-07-24 Hamid Khodabandehlou
‹ Prev 1 3 4 5 6 7 10 Next ›