English
Related papers

Related papers: Modeling System Events and Negative Events Using T…

200 papers

Events serve as fundamental units of occurrence within various contexts. The processing of event semantics in textual information forms the basis of numerous natural language processing (NLP) applications. Recent studies have begun…

Computation and Language · Computer Science 2023-05-25 Zhengwei Tao , Zhi Jin , Xiaoying Bai , Haiyan Zhao , Yanlin Feng , Jia Li , Wenpeng Hu

Event log analysis is an important task that security professionals undertake. Event logs record key information on activities that occur on computing devices, and due to the substantial number of events generated, they consume a large…

Artificial Intelligence · Computer Science 2025-02-04 Siraaj Akhtar , Saad Khan , Simon Parkinson

Event structures where the causality may explicitly change during a computation have recently gained the stage. In this kind of event structures the changes in the set of the causes of an event are triggered by modifiers that may add or…

Logic in Computer Science · Computer Science 2023-06-22 G. Michele Pinna

In recent years there has been a substantial increase in the availability of datasets which contain information about the location and timing of an event or group of events and the application of methods to analyse spatio-temporal datasets…

Methodology · Statistics 2019-10-02 Nik Lomax , Nick Malleson , Le-Minh Kieu

From a software design perspective, a clear definition of design can enhance project success and development productivity. Even though the focus is on software engineering, in this paper, we view the notion of design from the wider point of…

Software Engineering · Computer Science 2019-12-16 Sabah Al-Fedaghi

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

Behavior modeling and software architecture specification are attracting more attention in software engineering. Describing both of them in integrated models yields numerous advantages for coping with complexity since the models are…

Software Engineering · Computer Science 2019-07-30 Sabah Al-Fedaghi

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

We introduce a basic model for contracts. Our model extends event structures with a new relation, which faithfully captures the circular dependencies among contract clauses. We establish whether an agreement exists which respects all the…

Logic in Computer Science · Computer Science 2013-02-27 Massimo Bartoletti , Tiziana Cimoli , G. Michele Pinna , Roberto Zunino

A clear definition of system dynamics modeling can provide shared understanding and clarify the impact of the field. We introduce a set of characteristics that define quantitative system dynamics, selected to capture core philosophy,…

Systems and Control · Electrical Eng. & Systems 2023-08-01 Asmeret Naugle , Saeed Langarudi , Timothy Clancy

In this paper, we explore the notion of change in systems and software engineering, emphasizing its philosophical elucidation. Generally, it has been claimed that change is so pervasive in systems that it almost defeats description and…

Software Engineering · Computer Science 2022-04-11 Sabah Al-Fedaghi

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

In this paper, the basic ideal of the Event Space Theory and Analyzing Events are expatiated on. Then it is suggested that how to set up event base library in developing application software. Based above the designing principle of facing…

Software Engineering · Computer Science 2012-01-16 Zhang Jiangao , Wang Weitao

This paper identifies three categories of model: the Technology Impact Model; the Social Impact Model and the Integrationist Model, which imply different views of the "impact" of Information Technology on work organisation. These models are…

Computers and Society · Computer Science 2007-05-23 Chris Kimble , Kevin McLoughlin

Event vision sensors (neuromorphic cameras) output sparse, asynchronous ON/OFF events triggered by log-intensity threshold crossings, enabling microsecond-scale sensing with high dynamic range and low data bandwidth. As a nonlinear system,…

Computer Vision and Pattern Recognition · Computer Science 2026-01-21 Nimrod Kruger , Nicholas Owen Ralph , Gregory Cohen , Paul Hurley

Event-driven molecular dynamics is a valuable tool in condensed and soft matter physics when particles can be modeled as hard objects or more generally if their interaction potential can be modeled in a stepwise fashion. Hard spheres model…

Computational Physics · Physics 2015-05-19 Cristiano De Michele

Systems for symbolic event recognition infer occurrences of events in time using a set of event definitions in the form of first-order rules. The Event Calculus is a temporal logic that has been used as a basis in event recognition…

Machine Learning · Computer Science 2021-03-31 Nikos Katzouris , Alexander Artikis , Georgios Paliouras

We conduct a review to assess how the simulation of repeated or recurrent events are planned. For such multivariate time-to-events, it is well established that the underlying mechanism is likely to be complex and to involve in particular…

Applications · Statistics 2015-03-20 Juliette Pénichoux , Thierry Moreau , Aurélien Latouche

Prediction and optimisation of a wheel loader's dynamic behaviour is a challenge due to tightly coupled, non-linear subsystems of different technical domains. Furthermore, a simulation regarding performance, efficiency, and operability…

Computational Engineering, Finance, and Science · Computer Science 2011-08-30 Reno Filla

We propose a method to search for signs of causal structure in spatiotemporal data making minimal a priori assumptions about the underlying dynamics. To this end, we generalize the elementary concept of recurrence for a point process in…

Data Analysis, Statistics and Probability · Physics 2016-09-08 J. Davidsen , P. Grassberger , M. Paczuski
‹ Prev 1 3 4 5 6 7 10 Next ›