English
Related papers

Related papers: Event-B/SLP

200 papers

A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his collegues. The patterns enable non-experts to read and write formal specifications…

Software Engineering · Computer Science 2007-05-23 M. Chechik , D. Paun

This paper presents a neural network classifier approach to detecting both within- and cross- document event coreference effectively using only event mention based features. Our approach does not (yet) rely on any event argument features…

Computation and Language · Computer Science 2018-10-11 Arun Pandian , Lamana Mulaffer , Kemal Oflazer , Amna AlZeyara

Understanding how events in a scenario causally connect with each other is important for effectively modeling and reasoning about events. But event reasoning remains a difficult challenge, and despite recent advances, Large Language Models…

Artificial Intelligence · Computer Science 2025-06-10 Mahnaz Koupaee , Xueying Bai , Mudan Chen , Greg Durrett , Nathanael Chambers , Niranjan Balasubramanian

We present an event structure classification empirically derived from inferential properties annotated on sentence- and document-level Universal Decompositional Semantics (UDS) graphs. We induce this classification jointly with semantic…

Computation and Language · Computer Science 2021-09-30 William Gantt , Lelia Glass , Aaron Steven White

The advantages of event-sensing over conventional sensors (e.g., higher dynamic range, lower time latency, and lower power consumption) have spurred research into machine learning for event data. Unsurprisingly, deep learning has emerged as…

Machine Learning · Computer Science 2021-06-11 Fuqiang Gu , Weicong Sng , Xuke Hu , Fangwen Yu

In the field of Natural Language Processing (NLP), Large Language Models (LLMs) have shown great potential in document-level event extraction tasks, but existing methods face challenges in the design of prompts. To address this issue, we…

Computation and Language · Computer Science 2024-08-13 Zhuoyuan Liu , Yilin Luo

Event-based methods carefully select when to transmit information to enable high-performance control and estimation over resource-constrained communication networks. However, they come at a cost. For instance, event-based communication…

Systems and Control · Electrical Eng. & Systems 2023-04-04 Dominik Baumann , Thomas B. Schön

We present an approach to event coreference resolution by developing a general framework for clustering that uses supervised representation learning. We propose a neural network architecture with novel Clustering-Oriented Regularization…

Computation and Language · Computer Science 2018-05-29 Kian Kenyon-Dean , Jackie Chi Kit Cheung , Doina Precup

Iteratively improving and repairing source code with large language models (LLMs), known as refinement, has emerged as a popular way of generating programs that would be too complex to construct in one shot. Given a bank of test cases,…

Software Engineering · Computer Science 2024-10-31 Hao Tang , Keya Hu , Jin Peng Zhou , Sicheng Zhong , Wei-Long Zheng , Xujie Si , Kevin Ellis

We propose a novel framework for modeling event-related potentials (ERPs) collected during reading that couples pre-trained convolutional decoders with a language model. Using this framework, we compare the abilities of a variety of…

Computation and Language · Computer Science 2019-04-03 Shaorong Yan , Aaron Steven White

Identifying events and mapping them to pre-defined event types has long been an important natural language processing problem. Most previous work has been heavily relying on labor-intensive and domain-specific annotations while ignoring the…

Computation and Language · Computer Science 2021-06-03 Hongming Zhang , Haoyu Wang , Dan Roth

The paper extends Bayesian networks (BNs) by a mechanism for dynamic changes to the probability distributions represented by BNs. One application scenario is the process of knowledge acquisition of an observer interacting with a system. In…

Logic in Computer Science · Computer Science 2018-07-10 Benjamin Cabrera , Tobias Heindel , Reiko Heckel , Barbara König

Many hallmarks of human intelligence, such as generalizing from limited experience, abstract reasoning and planning, analogical reasoning, creative problem solving, and capacity for language require the ability to consolidate experience…

Artificial Intelligence · Computer Science 2018-11-07 Igor Mordatch

This paper is a sequel to an evolving research project on a diagrammatic methodology called thinging machine (TM). Initially, it was proposed as a base for conceptual modelling (e.g., conceptual UML) in areas such as requirement…

Software Engineering · Computer Science 2025-01-03 Sabah Al-Fedaghi

Biomedical events describe complex interactions between various biomedical entities. Event trigger is a word or a phrase which typically signifies the occurrence of an event. Event trigger identification is an important first step in all…

Computation and Language · Computer Science 2017-05-29 Patchigolla V S S Rahul , Sunil Kumar Sahu , Ashish Anand

Large language models (LLMs) have shown an impressive ability to perform tasks believed to require thought processes. When the model does not document an explicit thought process, it becomes difficult to understand the processes occurring…

Computation and Language · Computer Science 2024-06-21 Yuval Shalev , Amir Feder , Ariel Goldstein

Event annotation is important for identifying market changes, monitoring breaking news, and understanding sociological trends. Although expert annotators set the gold standards, human coding is expensive and inefficient. Unlike information…

Computation and Language · Computer Science 2026-04-29 Feng Gu , Zongxia Li , Carlos Rafael Colon , Benjamin Evans , Ishani Mondal , Jordan Lee Boyd-Graber

Large Language Models (LLMs) excel at capturing latent semantics and contextual relationships across diverse modalities. However, in modeling user behavior from sequential interaction data, performance often suffers when such semantic…

Computation and Language · Computer Science 2025-10-22 Mahsa Valizadeh , Xiangjue Dong , Rui Tuo , James Caverlee

Process mining is a research field focused on the analysis of event data with the aim of extracting insights related to dynamic behavior. Applying process mining techniques on data from smart home environments has the potential to provide…

Machine Learning · Computer Science 2017-11-01 Niek Tax , Emin Alasgarov , Natalia Sidorova , Wil M. P. van der Aalst , Reinder Haakma

Extending the lambda-calculus with a construct for sharing, such as let expressions, enables a special representation of terms: iterated applications are decomposed by introducing sharing points in between any two of them, reducing to the…

Logic in Computer Science · Computer Science 2019-07-16 Beniamino Accattoli , Andrea Condoluci , Giulio Guerrieri , Claudio Sacerdoti Coen