English
Related papers

Related papers: Representation and Processing of Instantaneous and…

200 papers

Scientists often use observational time series data to study complex natural processes, but regression analyses often assume simplistic dynamics. Recent advances in deep learning have yielded startling improvements to the performance of…

Machine Learning · Computer Science 2023-04-21 Cory Shain , William Schuler

Many complex scenarios require the coordination of agents possessing unique points of view and distinct semantic commitments. In response, standpoint logic (SL) was introduced in the context of knowledge integration, allowing one to reason…

Artificial Intelligence · Computer Science 2023-04-28 Nicola Gigante , Lucia {Gomez Alvarez} , Tim S. Lyon

Commonsense temporal reasoning at scale is a core problem for cognitive systems. The correct inference of the duration for which fluents hold is required by many tasks, including natural language understanding and planning. Many AI systems…

Artificial Intelligence · Computer Science 2025-02-14 Abhishek Sharma

In [1] we present an extension of Prime Event Structures by a mechanism to express dynamicity in the causal relation. More precisely we add the possibility that the occurrence of an event can add or remove causal dependencies between events…

Logic in Computer Science · Computer Science 2015-04-03 Youssef Arbach , David Karcher , Kirstin Peters , Uwe Nestmann

The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, each flow or influence affecting a variable is modelled separately and the overall…

Logic in Computer Science · Computer Science 2011-07-08 Luca Bortolussi , Vashti Galpin , Jane Hillston

Temporal Point Processes (TPPs) have been widely used for modeling event sequences on the Web, such as user reviews, social media posts, and online transactions. However, traditional TPP models often struggle to effectively incorporate the…

Computation and Language · Computer Science 2026-03-19 Quyu Kong , Yixuan Zhang , Yang Liu , Panrong Tong , Enqi Liu , Feng Zhou

Temporal logics over finite traces have recently seen wide application in a number of areas, from business process modelling, monitoring, and mining to planning and decision making. However, real-life dynamic systems contain a degree of…

Logic in Computer Science · Computer Science 2019-11-19 Fabrizio M. Maggi , Marco Montali , Rafael Peñaloza

Video diffusion models have achieved remarkable progress in generating high-quality videos. However, these models struggle to represent the temporal succession of multiple events in real-world videos and lack explicit mechanisms to control…

Computer Vision and Pattern Recognition · Computer Science 2026-04-14 Gordon Chen , Ziqi Huang , Ziwei Liu

Traditional Business Process Management (BPM) focuses on discrete events and fails to incorporate critical continuous sensor data in cyber-physical environments. Hybrid declarative specifications, utilizing Signal Temporal Logic (STL),…

Software Engineering · Computer Science 2025-12-08 Stefan Schönig , Leo Poss , Fabrizio Maria Maggi

Efficient matching of incoming events of data streams to persistent queries is fundamental to event stream processing systems. These applications require dealing with high volume and continuous data streams with fast processing time on…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-06-05 Fuyuan Xiao , Masayoshi Aritsugi

In the last years, the adoption of active systems has increased in many fields of computer science, such as databases, sensor networks, and software engineering. These systems are able to automatically react to events, by collecting…

Logic in Computer Science · Computer Science 2012-03-29 Achille Frigeri , Liliana Pasquale , Paola Spoletini

A temporal point process is a stochastic process that predicts which type of events is likely to happen and when the event will occur given a history of a sequence of events. There are various examples of occurrence dynamics in the daily…

Machine Learning · Computer Science 2022-02-23 Deokjun Eom , Sehyun Lee , Jaesik Choi

In this paper we present an approach to extract ordered timelines of events, their participants, locations and times from a set of multilingual and cross-lingual data sources. Based on the assumption that event-related information can be…

Computation and Language · Computer Science 2017-02-03 Egoitz Laparra , Rodrigo Agerri , Itziar Aldabe , German Rigau

This paper presents a framework to recognize temporal compositions of atomic actions in videos. Specifically, we propose to express temporal compositions of actions as semantic regular expressions and derive an inference framework using…

Computer Vision and Pattern Recognition · Computer Science 2020-04-29 Rodrigo Santa Cruz , Anoop Cherian , Basura Fernando , Dylan Campbell , Stephen Gould

A novel continuous-time framework is proposed for modeling neuromorphic image sensors in the form of an initial canonical representation with analytical tractability. Exact simulation algorithms are developed in parallel with closed-form…

Applications · Statistics 2025-04-04 Aaron J. Hendrickson , David P. Haefner

We present a system for recognising human activity given a symbolic representation of video content. The input of our system is a set of time-stamped short-term activities (STA) detected on video frames. The output is a set of recognised…

Artificial Intelligence · Computer Science 2020-02-19 Anastasios Skarlatidis , Alexander Artikis , Jason Filippou , Georgios Paliouras

Event management in sensor networks is a multidisciplinary field involving several steps across the processing chain. In this paper, we discuss the major steps that should be performed in real- or near real-time event handling including…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-03-16 Vassilis Papataxiarhis , Stathes Hadjiefthymiades

In formal semantics, there are two well-developed semantic frameworks: event semantics, which treats verbs and adverbial modifiers using the notion of event, and degree semantics, which analyzes adjectives and comparatives using the notion…

Computation and Language · Computer Science 2020-11-03 Izumi Haruta , Koji Mineshima , Daisuke Bekki

Event sequences can be modeled by temporal point processes (TPPs) to capture their asynchronous and probabilistic nature. We propose an intensity-free framework that directly models the point process distribution by utilizing normalizing…

Machine Learning · Computer Science 2019-12-24 Nazanin Mehrasa , Ruizhi Deng , Mohamed Osama Ahmed , Bo Chang , Jiawei He , Thibaut Durand , Marcus Brubaker , Greg Mori

Workflows constitute an important language to represent knowledge about processes, but also increasingly to reason on such knowledge. On the other hand, there is a limit to which time constraints between activities can be expressed.…

Artificial Intelligence · Computer Science 2012-09-26 Valmi Dufour-Lussier , Florence Le Ber , Jean Lieber