English
Related papers

Related papers: TRACE: Temporal Reasoning over Context and Evidenc…

200 papers

We consider human activity recognition (HAR) from wearable sensor data in manual-work processes, like warehouse order-picking. Such structured domains can often be partitioned into distinct process steps, e.g., packaging or transporting.…

Signal Processing · Electrical Eng. & Systems 2021-11-09 Stefan Lüdtke , Fernando Moya Rueda , Waqas Ahmed , Gernot A. Fink , Thomas Kirste

Test-time scaling improves the reasoning performance of large language models but often results in token-inefficient overthinking, where models continue reasoning beyond what is necessary for a correct answer. Existing dynamic early-exit…

Artificial Intelligence · Computer Science 2026-04-21 Jiakun Li , Xingwei He , Kefan Li , Hongzheng Chai , Hongyue Yu , Yuan Yuan

Ambient sensor-based human activity recognition (HAR) in smart homes remains challenging due to the need for real-time inference, spatially grounded reasoning, and context-aware temporal modeling. Existing approaches often rely on…

Machine Learning · Computer Science 2025-11-11 Zishuai Liu , Weihang You , Jin Lu , Fei Dou

The ubiquity of dynamic data in domains such as weather, healthcare, and energy underscores a growing need for effective interpretation and retrieval of time-series data. These data are inherently tied to domain-specific contexts, such as…

Machine Learning · Computer Science 2026-02-03 Jialin Chen , Ziyu Zhao , Gaukhar Nurbek , Aosong Feng , Ali Maatouk , Leandros Tassiulas , Yifeng Gao , Rex Ying

Human activity recognition (HAR) is a rapidly growing field that utilizes smart devices, sensors, and algorithms to automatically classify and identify the actions of individuals within a given environment. These systems have a wide range…

With the global population ageing, it is crucial to enable individuals to live independently and safely in their homes. Using ubiquitous sensors such as Passive InfraRed sensors (PIR) and door sensors is drawing increasing interest for…

Machine Learning · Computer Science 2026-01-21 Marina Vicini , Martin Rudorfer , Zhuangzhuang Dai , Luis J. Manso

Reliable mathematical and scientific reasoning remains an open challenge for large vision-language models. Standard final-answer evaluation often masks reasoning errors, allowing silent failures to persist. To address this gap, we introduce…

Artificial Intelligence · Computer Science 2025-12-15 Shima Imani , Seungwhan Moon , Lambert Mathias , Lu Zhang , Babak Damavandi

Providing accurate/suitable information on behaviors in sma\-rt environments is a challenging and crucial task in pervasive computing where context-awareness and pro-activity are of fundamental importance. Behavioral identifications enable…

Logic in Computer Science · Computer Science 2016-01-21 Radoslaw Klimek

There has been a resurgence of applications focused on Human Activity Recognition (HAR) in smart homes, especially in the field of ambient intelligence and assisted living technologies. However, such applications present numerous…

Machine Learning · Computer Science 2023-11-17 Srivatsa P , Thomas Plötz

Human activity recognition (HAR) using ambient sensors in smart homes has numerous applications for human healthcare and wellness. However, building general-purpose HAR models that can be deployed to new smart home environments requires a…

Artificial Intelligence · Computer Science 2024-05-22 Megha Thukral , Sourish Gunesh Dhekane , Shruthi K. Hiremath , Harish Haresamudram , Thomas Ploetz

The field of Language Reasoning Models (LRMs) has been very active over the past few years with advances in training and inference techniques enabling LRMs to reason longer, and more accurately. However, a growing body of studies show that…

Computation and Language · Computer Science 2026-04-24 Yannis Belkhiter , Seshu Tirupathi , Giulio Zizzo , John D. Kelleher

Human activity recognition (HAR) is a key challenge in pervasive computing and its solutions have been presented based on various disciplines. Specifically, for HAR in a smart space without privacy and accessibility issues, data streams…

Machine Learning · Computer Science 2023-12-04 Hyunju Kim , Heesuk Son , Dongman Lee

Despite recognized limitations in modeling long-range temporal dependencies, Human Activity Recognition (HAR) has traditionally relied on a sliding window approach to segment labeled datasets. Deep learning models like the DeepConvLSTM…

Machine Learning · Computer Science 2025-05-28 Marius Bock , Michael Moeller , Kristof Van Laerhoven

Despite great success has been achieved in activity analysis, it still has many challenges. Most existing work in activity recognition pay more attention to design efficient architecture or video sampling strategy. However, due to the…

Computer Vision and Pattern Recognition · Computer Science 2019-08-28 Jingran Zhang , Fumin Shen , Xing Xu , Heng Tao Shen

Humans naturally follow distinct patterns when conducting their daily activities, which are driven by established practices and processes, such as production workflows, social norms and daily routines. Human activity recognition (HAR)…

Artificial Intelligence · Computer Science 2024-11-14 Jiawei Zheng , Petros Papapanagiotou , Jacques D. Fleuriot , Jane Hillston

Execution of concurrent programs implies frequent switching between different thread contexts. This property perplexes analyzing and reasoning about concurrent programs. Trace simplification is a technique that aims at alleviating this…

Software Engineering · Computer Science 2014-05-20 Mohamed A. El-Zawawy , Mohammad N. Alanazi

Long Short Term Memory LSTM-based structures have demonstrated their efficiency for daily living recognition activities in smart homes by capturing the order of sensor activations and their temporal dependencies. Nevertheless, they still…

Machine Learning · Computer Science 2021-11-25 Damien Bouchabou , Sao Mai Nguyen , Christophe Lohr , Benoit Leduc , Ioannis Kanellos

Sensor-based human activity recognition (HAR) has been an active research area, owing to its applications in smart environments, assisted living, fitness, healthcare, etc. Recently, deep learning based end-to-end training has resulted in…

Machine Learning · Computer Science 2024-01-19 Sourish Gunesh Dhekane , Thomas Ploetz

The behavior of concurrent, asynchronous procedures depends in general on the call context, because of the global protocol that governs scheduling. This context cannot be specified with the state-based Hoare-style contracts common in…

Logic in Computer Science · Computer Science 2023-10-09 Reiner Hähnle , Eduard Kamburjan , Marco Scaletta

We propose TRACIE, a novel temporal reasoning dataset that evaluates the degree to which systems understand implicit events -- events that are not mentioned explicitly in natural language text but can be inferred from it. This introduces a…

Computation and Language · Computer Science 2021-05-11 Ben Zhou , Kyle Richardson , Qiang Ning , Tushar Khot , Ashish Sabharwal , Dan Roth
‹ Prev 1 2 3 10 Next ›