English
Related papers

Related papers: A protocol for instruction stream processing

200 papers

Data streams occur widely in various real world applications. The research on streaming data mainly focuses on the data management, query evaluation and optimization on these data, however the work on reasoning procedures for streaming…

Logic in Computer Science · Computer Science 2018-08-19 Gulay Unel

Predictive process monitoring is concerned with the analysis of events produced during the execution of a process in order to predict the future state of ongoing cases thereof. Existing techniques in this field are able to predict, at each…

Machine Learning · Computer Science 2018-06-21 Irene Teinemaa , Niek Tax , Massimiliano de Leoni , Marlon Dumas , Fabrizio Maria Maggi

The execution behavior of a program often depends on external resources, such as program inputs or file contents, and so cannot be run in isolation. Nevertheless, software developers benefit from fast iteration loops where automated tools…

Machine Learning · Computer Science 2022-03-30 David Bieber , Rishab Goel , Daniel Zheng , Hugo Larochelle , Daniel Tarlow

Animation is ubiquitous in visualization systems, and a common technique for creating these animations is the transition. In the transition approach, animations are created by smoothly interpolating a visual attribute between a start and…

Graphics · Computer Science 2017-03-03 Andrew McCaleb Reach , Chris North

Stream processing systems are important in modern applications in which data arrive continuously and need to be processed in real time. Because of their resource and scalability requirements, many of these systems run on the cloud, which is…

Cryptography and Security · Computer Science 2025-10-16 Hung Pham , Viet Vo , Tien Tuan Anh Dinh , Duc Tran , Shuhao Zhang

The models of peer to peer protocols are presented with the help of one-step processes. On the basis of this presentation and the method of randomization of one-step processes described method for constructing models of peer to peer…

Networking and Internet Architecture · Computer Science 2015-04-03 A. V. Demidova , A. V. Korolkova , D. S. Kulyabov , L. A. Sevastyanov

Many application areas ranging from serious games for health to learning by demonstration in robotics, could benefit from large body movement datasets extracted from textual instructions accompanied by images. The interpretation of…

Human-Computer Interaction · Computer Science 2020-06-09 Himangshu Sarma , Robert Porzel , Jan Smeddinck , Rainer Malaka

Consider a network in which $n$ distributed nodes are connected to a single server. Each node continuously observes a data stream consisting of one value per discrete time step. The server has to continuously monitor a given parameter…

The field of predictive process monitoring focuses on case-level models to predict a single specific outcome such as a particular objective, (remaining) time, or next activity/remaining sequence. Recently, a longer-horizon, model-wide…

Machine Learning · Computer Science 2023-01-11 Johannes De Smedt , Jochen De Weerdt

When humans conceive how to perform a particular task, they do so hierarchically: splitting higher-level tasks into smaller sub-tasks. However, in the literature on natural language (NL) command of situated agents, most works have treated…

Computation and Language · Computer Science 2023-09-21 Shuyan Zhou , Pengcheng Yin , Graham Neubig

We explore using latent natural language instructions as an expressive and compositional representation of complex actions for hierarchical decision making. Rather than directly selecting micro-actions, our agent first generates a latent…

Artificial Intelligence · Computer Science 2019-10-03 Hengyuan Hu , Denis Yarats , Qucheng Gong , Yuandong Tian , Mike Lewis

Runtime Monitoring is a lightweight and dynamic verification technique that involves observing the internal operations of a software system and/or its interactions with other external entities, with the aim of determining whether the system…

Logic in Computer Science · Computer Science 2017-08-25 Ian Cassar , Adrian Francalanza , Luca Aceto , Anna Ingólfsdóttir

The problem addressed in this paper is to control a plant so as to have its output tracking (a family of) reference commands generated at a remote location and transmitted through a communication channel of finite capacity. The uncertainty…

Optimization and Control · Mathematics 2007-05-23 Alberto Isidori , Lorenzo Marconi , Claudio De Persis

Modern information systems that support complex business processes generally maintain significant amounts of process execution data, particularly records of events corresponding to the execution of activities (event logs). In this paper, we…

Software Engineering · Computer Science 2025-07-22 Fabrizio Maria Maggi , Chiara Di Francescomarino , Marlon Dumas , Chiara Ghidini

This paper describes an architecture for a distributing processing system that would allow remote procedure calls to invoke other services as messages are passed between clients and servers. It proposes that an additional class of data…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Walter Eaves

Language model-based instruction-following systems have lately shown increasing performance on many benchmark tasks, demonstrating the capability of adapting to a broad variety of instructions. However, such systems are often not designed…

Computation and Language · Computer Science 2024-03-20 Rahul Nadkarni , Yizhong Wang , Noah A. Smith

Predictive process monitoring is a subfield of process mining that aims to estimate case or event features for running process instances. Such predictions are of significant interest to the process stakeholders. However, state-of-the-art…

Process management and process orchestration/execution are currently hot topics; prevalent trends such as automation and Industry 4.0 require solutions which allow domain-experts to easily model and execute processes in various domains,…

In order to ensure the robust actuation of a plan, execution must be adaptable to unexpected situations in the world and to exogenous events. This is critical in domains in which committing to a wrong ordering of actions can cause the plan…

Robotics · Computer Science 2020-03-23 Oscar Lima , Michael Cashmore , Daniele Magazzeni , Andrea Micheli , Rodrigo Ventura

We employ supervisory controllers to safely coordinate high-level discrete(-event) behavior of distributed components of complex systems. Supervisory controllers observe discrete-event system behavior, make a decision on allowed activities,…

Systems and Control · Computer Science 2012-09-10 Jasen Markovski
‹ Prev 1 4 5 6 7 8 10 Next ›