English
Related papers

Related papers: Efficient Temporal Datalog Materialisation for Com…

200 papers

In this paper, we analyze timed systems with data structures, using a rich interplay of logic and properties of graphs. We start by describing behaviors of timed systems using graphs with timing constraints. Such a graph is called…

Logic in Computer Science · Computer Science 2019-04-30 S. Akshay , Paul Gastin , Vincent Juge , Shankara Narayanan Krishna

The times of temporal-network events and their correlations contain information on the function of the network and they influence dynamical processes taking place on it. To extract information out of correlated event times, techniques such…

Physics and Society · Physics 2019-12-10 Jari Saramäki , Mikko Kivelä , Márton Karsai

Exponential growth in the quantity of digital news, social media, and other textual sources makes it difficult for humans to keep up with rapidly evolving narratives about world events. Various visualisation techniques have been touted to…

Human-Computer Interaction · Computer Science 2026-03-04 Songhai Fan , Simon Angus , Tim Dwyer , Ying Yang , Sarah Goodwin , Helen Purchase

Temporal point processes (TPPs) are crucial for analyzing events over time and are widely used in fields such as finance, healthcare, and social systems. These processes are particularly valuable for understanding how events unfold over…

Artificial Intelligence · Computer Science 2026-01-06 Lili Chen , Wensheng Gan , Shuang Liang , Philip S. Yu

Contextual reasoning with constraints is crucial for enhancing temporal consistency in cross-frame modeling for visual tracking. However, mainstream tracking algorithms typically associate context by merely stacking historical information…

Computer Vision and Pattern Recognition · Computer Science 2025-08-21 Fansheng Zeng , Bineng Zhong , Haiying Xia , Yufei Tan , Xiantao Hu , Liangtao Shi , Shuxiang Song

This paper presents an implemented system for recognizing the occurrence of events described by simple spatial-motion verbs in short image sequences. The semantics of these verbs is specified with event-logic expressions that describe…

Artificial Intelligence · Computer Science 2011-06-02 J. M. Siskind

Event cameras have shown promise in vision applications like optical flow estimation and stereo matching, with many specialized architectures leveraging the asynchronous and sparse nature of event data. However, existing works only focus…

Computer Vision and Pattern Recognition · Computer Science 2024-11-25 Pengjie Zhang , Lin Zhu , Xiao Wang , Lizhi Wang , Wanxuan Lu , Hua Huang

Conventional embedding-based models approach event time prediction in temporal knowledge graphs (TKGs) as a ranking problem. However, they often fall short in capturing essential temporal relationships such as order and distance. In this…

Computation and Language · Computer Science 2024-01-30 Siheng Xiong , Yuan Yang , Ali Payani , James C Kerce , Faramarz Fekri

Recent work has utilised knowledge-aware approaches to natural language understanding, question answering, recommendation systems, and other tasks. These approaches rely on well-constructed and large-scale knowledge graphs that can be…

Computation and Language · Computer Science 2023-03-09 Tin Kuculo

Extracting temporal relations among events from unstructured text has extensive applications, such as temporal reasoning and question answering. While it is difficult, recent development of Neural-symbolic methods has shown promising…

Computation and Language · Computer Science 2021-12-03 Bo-Ying Su , Shang-Ling Hsu , Kuan-Yin Lai , Jane Yung-jen Hsu

Timed Transition Models (TTMs) are event-based descriptions for modelling, specifying, and verifying discrete real-time systems. An event can be spontaneous, fair, or timed with specified bounds. TTMs have a textual syntax, an operational…

Software Engineering · Computer Science 2015-06-12 Chen-Wei Wang , Jonathan S. Ostroff , Simon Hudon

Automated fact verification plays an essential role in fostering trust in the digital space. Despite the growing interest, the verification of temporal facts has not received much attention in the community. Temporal fact verification…

Information Retrieval · Computer Science 2024-08-20 Anab Maulana Barik , Wynne Hsu , Mong Li Lee

The rise of smart applications has drawn interest to logical reasoning over data streams. Recently, different query languages and stream processing/reasoning engines were proposed in different communities. However, due to a lack of…

Artificial Intelligence · Computer Science 2015-05-21 Harald Beck , Minh Dao-Tran , Thomas Eiter , Michael Fink

Large language models (LLMs) have recently demonstrated impressive multimodal reasoning capabilities, yet their understanding of purely numerical time-series signals remains limited. Existing approaches mainly focus on forecasting or trend…

Machine Learning · Computer Science 2025-10-29 Ninghui Feng , Yiyan Qi

The efficient exchange of information is an essential aspect of intelligent collective behavior. Event-triggered control and estimation achieve some efficiency by replacing continuous data exchange between agents with intermittent, or…

Systems and Control · Computer Science 2020-04-30 Friedrich Solowjow , Sebastian Trimpe

Temporal conceptual data modelling, as an extension to regular conceptual data modelling languages such as EER and UML class diagrams, has received intermittent attention across the decades. It is receiving renewed interest in the context…

Databases · Computer Science 2024-08-20 Sonia Berman , C. Maria Keet , Tamindran Shunmugam

Recently, Large Language Models (LLMs) have demonstrated great potential in various data mining tasks, such as knowledge question answering, mathematical reasoning, and commonsense reasoning. However, the reasoning capability of LLMs on…

Computation and Language · Computer Science 2025-05-22 He Chang , Chenchen Ye , Zhulin Tao , Jie Wu , Zhengmao Yang , Yunshan Ma , Xianglin Huang , Tat-Seng Chua

Event-based multimodal large language models (MLLMs) enable robust perception in high-speed and low-light scenarios, addressing key limitations of frame-based MLLMs. However, current event-based MLLMs often rely on dense image-like…

Computer Vision and Pattern Recognition · Computer Science 2026-02-04 Shaoyu Liu , Jianing Li , Guanghui Zhao , Yunjian Zhang , Wen Jiang , Ming Li , Xiangyang Ji

Temporal networks are commonly used to represent systems where connections between elements are active only for restricted periods of time, such as networks of telecommunication, neural signal processing, biochemical reactions and human…

Data Analysis, Statistics and Probability · Physics 2011-11-15 Lauri Kovanen , Márton Karsai , Kimmo Kaski , János Kertész , Jari Saramäki

We consider the problem of event detection based upon a (typically multivariate) data stream characterizing some system. Most of the time the system is quiescent - nothing of interest is happening - but occasionally events of interest…

Methodology · Statistics 2010-03-16 Werner Stuetzle , Donald B. Percival , Caren Marzban
‹ Prev 1 3 4 5 6 7 10 Next ›