English
Related papers

Related papers: A Data-Centric Methodology and Task Typology for T…

200 papers

This paper deals with an extended model of computations which uses the parameterized families of entities for data objects and reflects a preliminary outline of this problem. Some topics are selected out, briefly analyzed and arranged to…

Logic in Computer Science · Computer Science 2007-05-23 Larissa Ismailova , Konstantin Zinchenko , Lioubouv Bourmistrova

Work is aimed at automating the process of obtaining a list of security threats aimed at the information system in the work processes of data transfer are considered, definitions for each process are presented. The typification of processes…

Cryptography and Security · Computer Science 2023-01-31 E. S. Romanova , A. K. Novokhrestov , A. A. Konev

The task of event extraction has long been investigated in a supervised learning paradigm, which is bound by the number and the quality of the training instances. Existing training data must be manually generated through a combination of…

Computation and Language · Computer Science 2017-12-12 Ying Zeng , Yansong Feng , Rong Ma , Zheng Wang , Rui Yan , Chongde Shi , Dongyan Zhao

Process mining focuses on the analysis of recorded event data in order to gain insights about the true execution of business processes. While foundational process mining techniques treat such data as sequences of abstract events, more…

Computation and Language · Computer Science 2021-03-23 Adrian Rebmann , Han van der Aa

This paper presents an analytical taxonomy that can suitably describe, rather than simply classify, techniques for data presentation. Unlike previous works, we do not consider particular aspects of visualization techniques, but their…

Conformance checking is a sub-discipline of process mining, which compares observed process traces with a process model to analyze whether the process execution conforms with or deviates from the process design. Organizations can leverage…

Software Engineering · Computer Science 2025-07-17 Jana-Rebecca Rehse , Michael Grohs , Finn Klessascheck , Lisa-Marie Klein , Tatiana von Landesberger , Luise Pufahl

Advances in vision-based sensors and computer vision algorithms have significantly improved the analysis and understanding of traffic scenarios. To facilitate the use of these improvements for road safety, this survey systematically…

Computer Vision and Pattern Recognition · Computer Science 2026-05-27 Yaoqi Huang , Julie Stephany Berrio , Mao Shan , Stewart Worrall

The concept of $typed$ $topology$ is introduced. In a typed topological space, some open sets are assigned "types", and topological concepts such as closure, connectedness can be defined using types. A finite data set in $R^2$ is a…

General Topology · Mathematics 2024-02-13 Wanjun Hu

A type system is introduced for a generic Object Oriented programming language in order to infer resource upper bounds. A sound andcomplete characterization of the set of polynomial time computable functions is obtained. As a consequence,…

Programming Languages · Computer Science 2018-02-20 Emmanuel Hainry , Romain Péchoux

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

Process-Mining techniques aim to use event data about past executions to gain insight into how processes are executed. While these techniques are proven to be very valuable, they are less successful to reach their goal if the process is…

Artificial Intelligence · Computer Science 2019-06-04 Massimiliano de Leoni , Safa Dundar

Event extraction is challenging due to the complex structure of event records and the semantic gap between text and event. Traditional methods usually extract event records by decomposing the complex structure prediction task into multiple…

Computation and Language · Computer Science 2021-06-18 Yaojie Lu , Hongyu Lin , Jin Xu , Xianpei Han , Jialong Tang , Annan Li , Le Sun , Meng Liao , Shaoyi Chen

Vehicle data is essential for advancing data-driven development throughout the automotive lifecycle, including requirements engineering, design, verification, and validation, and post-deployment optimization. Developers currently collect…

Systems and Control · Electrical Eng. & Systems 2025-10-02 Carl Philipp Hohl , Philipp Reis , Tobias Schürmann , Stefan Otten , Eric Sax

The use of science to understand its own structure is becoming popular, but understanding the organization of knowledge areas is still limited because some patterns are only discoverable with proper computational treatment of large-scale…

Social and Information Networks · Computer Science 2016-04-25 Filipi N. Silva , Diego R. Amancio , Maria Bardosova , Osvaldo N. Oliveira , Luciano da F. Costa

The growing quantity and complexity of data pose challenges for humans to consume information and respond in a timely manner. For businesses in domains with rapidly changing rules and regulations, failure to identify changes can be costly.…

Artificial Intelligence · Computer Science 2021-04-21 Vivek Khetan , Annervaz K M , Erin Wetherley , Elena Eneva , Shubhashis Sengupta , Andrew E. Fano

Continuous-time event sequences, i.e., sequences consisting of continuous time stamps and associated event types ("marks"), are an important type of sequential data with many applications, e.g., in clinical medicine or user behavior…

Machine Learning · Statistics 2022-11-17 Alex Boyd , Yuxin Chang , Stephan Mandt , Padhraic Smyth

User event modeling plays a central role in many machine learning applications, with use cases spanning e-commerce, social media, finance, cybersecurity, and other domains. User events can be broadly categorized into personal events, which…

Machine Learning · Computer Science 2025-11-07 Rizal Fathony , Igor Melnyk , Owen Reinert , Nam H. Nguyen , Daniele Rosa , C. Bayan Bruss

This contribution discusses the automatic generation of event-driven, tuple-space based programs for task-oriented execution models from a sequential C specification. We developed a hierarchical mapping solution using auto-parallelizing…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-09-08 Nicolas Vasilache , Muthu Baskaran , Tom Henretty , Benoit Meister , M. Harper Langston , Sanket Tavarageri , Richard Lethin

As illustrated by the emergence of a class of new languages and runtimes, it is expected that a large portion of the programs to run on extreme scale computers will need to be written as graphs of event-driven tasks (EDTs). EDT runtime…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-01-22 Benoit Meister , Muthu Baskaran , Benoit Pradelle , Thomas Henretty , Richard Lethin

Interpreting the massive volume of security alerts is a significant challenge in Security Operations Centres (SOCs). Effective contextualisation is important, enabling quick distinction between genuine threats and benign activity to…

Cryptography and Security · Computer Science 2025-09-19 Magnus Wiik Eckhoff , Peter Marius Flydal , Siem Peters , Martin Eian , Jonas Halvorsen , Vasileios Mavroeidis , Gudmund Grov