English
Related papers

Related papers: Reduction of Event Structures under History Preser…

200 papers

Events refer to specific occurrences, incidents, or happenings that take place under a particular background. Event reasoning aims to infer events according to certain relations and predict future events. The cutting-edge techniques for…

Computation and Language · Computer Science 2024-04-19 Zhengwei Tao , Xiancai Chen , Zhi Jin , Xiaoying Bai , Haiyan Zhao , Yiwei Lou

The World model is an existing functional input-output mechanism for event-driven programming. It is used in numerous popular textbooks and curricular settings. The World model conflates two different tasks -- the definition of an event…

Programming Languages · Computer Science 2019-02-05 Joe Politz , Benjamin Lerner , Sorawee Porncharoenwase , Shriram Krishnamurthi

We study the predictability of large events in self-organizing systems. We focus on a set of models which have been studied as analogs of earthquake faults and fault systems, and apply methods based on techniques which are of current…

Condensed Matter · Physics 2009-10-22 S. L. Pepke , J. M. Carlson

Despite the number of NLP studies dedicated to thematic fit estimation, little attention has been paid to the related task of composing and updating verb argument expectations. The few exceptions have mostly modeled this phenomenon with…

Computation and Language · Computer Science 2017-10-04 Emmanuele Chersoni , Enrico Santus , Philippe Blache , Alessandro Lenci

Prior work has proposed effective methods to learn event representations that can capture syntactic and semantic information over text corpus, demonstrating their effectiveness for downstream tasks such as script event prediction. On the…

Artificial Intelligence · Computer Science 2020-06-25 Xiao Ding , Kuo Liao , Ting Liu , Zhongyang Li , Junwen Duan

We present a notion of bisimulation that induces a reduced network which is semantically equivalent to the given neural network. We provide a minimization algorithm to construct the smallest bisimulation equivalent network. Reductions that…

Machine Learning · Computer Science 2021-11-17 Pavithra Prabhakar

Identifying the salience (i.e. importance) of discourse units is an important task in language understanding. While events play important roles in text documents, little research exists on analyzing their saliency status. This paper…

Computation and Language · Computer Science 2018-09-10 Zhengzhong Liu , Chenyan Xiong , Teruko Mitamura , Eduard Hovy

We propose a formal model of concurrent systems in which the history of a computation is explicitly represented as a collection of events that provide a view of a sequence of configurations. In our model events generated by transitions…

Logic in Computer Science · Computer Science 2015-09-25 Parosh Abdulla , Giorgio Delzanno , Marco Montali

Several application domains require formal but flexible approaches to the comparison problem. Different process models that cannot be related by behavioral equivalences should be compared via a quantitative notion of similarity, which is…

Logic in Computer Science · Computer Science 2010-06-29 Alessandro Aldini

Many natural phenomena exhibit power law behaviour in the distribution of event size. This scaling is successfully reproduced by Self Organized Criticality (SOC). On the other hand, temporal occurrence in SOC models has a Poisson-like…

Statistical Mechanics · Physics 2009-11-11 Eugenio Lippiello , Lucilla de Arcangelis , Cataldo Godano

Many application domains require representing interrelated real-world activities and/or evolving physical phenomena. In the crisis response domain, for instance, one may be interested in representing the state of the unfolding crisis (e.g.,…

Databases · Computer Science 2009-09-30 Naveen Ashish , Dmitri Kalashnikov , Sharad Mehrotra , Nalini Venkatasubramanian

This paper describes a relatively simple way of allowing a brain model to self-organise its concept patterns through nested structures. For a simulation, time reduction is helpful and it would be able to show how patterns may form and then…

Artificial Intelligence · Computer Science 2015-03-17 Kieran Greer

The representation of events in text plays a significant role in various NLP tasks. Recent research demonstrates that contrastive learning has the ability to improve event comprehension capabilities of Pre-trained Language Models (PLMs) and…

Computation and Language · Computer Science 2024-04-30 Yubo Feng , Lishuang Li , Yi Xiang , Xueyang Qin

In this paper, we study two problems: determining action model equivalence and minimizing the event space of an action model under certain structural relationships. The Kripke model equivalence is perfectly caught by the structural…

Artificial Intelligence · Computer Science 2023-02-06 Jingwei Li

Leveraging on the underlying low-dimensional structure of data, low-rank and sparse modeling approaches have achieved great success in a wide range of applications. However, in many applications the data can display structures beyond simply…

Machine Learning · Computer Science 2019-12-04 Zhao Kang , Xiao Lu , Yiwei Lu , Chong Peng , Zenglin Xu

This paper describes a relatively simple way of allowing a brain model to self-organise its concept patterns through nested structures. Time is a key element and a simulator would be able to show how patterns may form and then fire in…

Neural and Evolutionary Computing · Computer Science 2014-09-05 Kieran Greer

We investigate the extent to which modern, neural language models are susceptible to structural priming, the phenomenon whereby the structure of a sentence makes the same structure more probable in a follow-up sentence. We explore how…

Computation and Language · Computer Science 2022-06-30 Arabella Sinclair , Jaap Jumelet , Willem Zuidema , Raquel Fernández

This review article provides an overview of recent work in the modeling and analysis of recurrent events arising in engineering, reliability, public health, biomedicine and other areas. Recurrent event modeling possesses unique facets…

Methodology · Statistics 2007-08-03 Edsel A. Peña

We study comparisons between interpretations in description logics with respect to "logical consequences" of the form of semi-positive concepts (like semi-positive concept assertions). Such comparisons are characterized by conditions…

Logic in Computer Science · Computer Science 2013-04-23 Ali Rezaei Divroodi , Linh Anh Nguyen

We propose a new class of waveform foundation models that departs from conventional sequence based representations by modeling physiological time series as realizations of latent event processes. Rather than treating signals as collections…

Machine Learning · Computer Science 2026-05-12 Li Na , Yuanyun Zhang , Shi Li