English
Related papers

Related papers: Analysing Temporally Annotated Corpora with CAVaT

200 papers

In this work, we consider translating tock-CSP into Timed Automata for UPPAAL to facilitate using UPPAAL in reasoning about temporal specifications of tock-CSP models. The process algebra tock-CSP provides textual notations for modelling…

Formal Languages and Automata Theory · Computer Science 2021-04-29 Abdulrazaq Abba , Ana Cavalcanti , Jeremy Jacob

The field of Deep Visual Analytics (DVA) has recently arisen from the idea of developing Visual Interactive Systems supported by deep learning, in order to provide them with large-scale data processing capabilities and to unify their…

Machine Learning · Computer Science 2023-11-02 Victor Rodriguez-Fernandez , David Montalvo , Francesco Piccialli , Grzegorz J. Nalepa , David Camacho

Most recent studies on detecting and localizing temporal anomalies have mainly employed deep neural networks to learn the normal patterns of temporal data in an unsupervised manner. Unlike them, the goal of our work is to fully utilize…

Computer Vision and Pattern Recognition · Computer Science 2021-08-17 Dongha Lee , Sehun Yu , Hyunjun Ju , Hwanjo Yu

Reasoning about temporal causality, particularly irreversible transformations of objects governed by real-world knowledge (e.g., fruit decay and human aging), is a fundamental aspect of human visual understanding. Unlike temporal perception…

Computer Vision and Pattern Recognition · Computer Science 2025-05-22 Zeqing Wang , Shiyuan Zhang , Chengpei Tang , Keze Wang

As large language models (LLMs) increasingly tackle complex reasoning tasks, test-time scaling has become critical for enhancing capabilities. However, in agentic scenarios with frequent tool calls, the traditional generation-length-based…

Computation and Language · Computer Science 2026-01-26 Yichuan Ma , Linyang Li , Yongkang chen , Peiji Li , Xiaozhe Li , Qipeng Guo , Dahua Lin , Kai Chen

The rapid growth of scientific publishing has made it increasingly difficult to track how fast-moving areas evolve. Search engines and LLM-based assistants retrieve or summarize papers, but often hide how the corpus was selected, organized,…

Information Retrieval · Computer Science 2026-05-28 Bernardo A. Denkvitts , Nitin Gupta , Biplav Srivastava

Research in human action recognition has accelerated significantly since the introduction of powerful machine learning tools such as Convolutional Neural Networks (CNNs). However, effective and efficient methods for incorporation of…

Computer Vision and Pattern Recognition · Computer Science 2018-03-21 Jinliang Zang , Le Wang , Ziyi Liu , Qilin Zhang , Zhenxing Niu , Gang Hua , Nanning Zheng

Pretrained language models based on the transformer architecture have shown great success in NLP. Textual training data often comes from the web and is thus tagged with time-specific information, but most language models ignore this…

Computation and Language · Computer Science 2022-05-05 Guy D. Rosin , Kira Radinsky

The construction of high-quality parallel corpora for translation research has increasingly evolved from simple sentence alignment to complex, multi-layered annotation tasks. This methodological shift presents significant challenges for…

Computation and Language · Computer Science 2026-02-12 Baorong Huang , Ali Asiri

Autonomous agents often face the challenge of interpreting uncertain natural language instructions for planning tasks. Representing these instructions as Linear Temporal Logic (LTL) enables planners to synthesize actionable plans. We…

Robotics · Computer Science 2025-09-30 Kumar Manas , Stefan Zwicklbauer , Adrian Paschke

Randomized controlled trials (RCT) are the gold standards for evaluating the efficacy and safety of therapeutic interventions in human subjects. In addition to the pre-specified endpoints, trial participants' experience reveals the time…

Human-Computer Interaction · Computer Science 2024-01-31 Zuotian Li , Xiang Liu , Zelei Cheng , Yingjie Chen , Wanzhu Tu , Jing Su

Understanding accurate atomic temporal event is essential for video comprehension. However, current video-language benchmarks often fall short to evaluate Large Multi-modal Models' (LMMs) temporal event understanding capabilities, as they…

Computer Vision and Pattern Recognition · Computer Science 2025-05-27 Yuqi Liu , Qin Jin , Tianyuan Qu , Xuan Liu , Yang Du , Bei Yu , Jiaya Jia

The present study explores the intricacies of causal relationship extraction, a vital component in the pursuit of causality knowledge. Causality is frequently intertwined with temporal elements, as the progression from cause to effect is…

Computation and Language · Computer Science 2023-04-24 Xiaosong Yuan , Ke Chen , Wanli Zuo , Yijia Zhang

The rapid growth in stored time-oriented data necessitates the development of new methods for handling, processing, and interpreting large amounts of temporal data. One important example of such processing is detecting anomalies in…

Machine Learning · Computer Science 2016-12-15 Asaf Shabtai

Vision-language temporal alignment is a crucial capability for human dynamic recognition and cognition in real-world scenarios. While existing research focuses on capturing vision-language relevance, it faces limitations due to biased…

Computer Vision and Pattern Recognition · Computer Science 2025-04-09 Hao Du , Bo Wu , Yan Lu , Zhendong Mao

Language Models (LMs) become outdated as the world changes; they often fail to perform tasks requiring recent factual information which was absent or different during training, a phenomenon called temporal misalignment. This is especially a…

Computation and Language · Computer Science 2023-04-13 Joel Jang , Seonghyeon Ye , Changho Lee , Sohee Yang , Joongbo Shin , Janghoon Han , Gyeonghun Kim , Minjoon Seo

The applicability of Large Language Models (LLMs) in temporal reasoning tasks over data that is not present during training is still a field that remains to be explored. In this paper we work on this topic, focusing on structured and…

Computation and Language · Computer Science 2025-12-03 Alfredo Garrachón Ruiz , Tomás de la Rosa , Daniel Borrajo

State-of-the-art models of lexical semantic change detection suffer from noise stemming from vector space alignment. We have empirically tested the Temporal Referencing method for lexical semantic change and show that, by avoiding…

Computation and Language · Computer Science 2020-07-23 Haim Dubossarsky , Simon Hengchen , Nina Tahmasebi , Dominik Schlechtweg

Dynamic graph representation learning plays a crucial role in understanding evolving behaviors. However, existing methods often struggle with flexibility, adaptability, and the preservation of temporal and structural dynamics. To address…

Machine Learning · Computer Science 2025-01-22 He Yu , Jing Liu

For an interactive agent, such as task-oriented spoken dialog systems or chatbots, measuring and adapting to Customer Satisfaction (CSAT) is critical in order to understand user perception of an agent's behavior and increase user engagement…

Audio and Speech Processing · Electrical Eng. & Systems 2020-08-31 Yelin Kim , Joshua Levy , Yang Liu
‹ Prev 1 3 4 5 6 7 10 Next ›