English
Related papers

Related papers: Monitoring and Intervention: Concepts and Formal M…

200 papers

Tracking data of user's activities resulting from Computer Mediated Communication (CMC) tools (forum, chat, etc.) is often carried out in an ad-hoc manner, which either confines the reusability of data in different purposes or makes data…

Human-Computer Interaction · Computer Science 2007-12-12 Madeth May , Sébastien George , Patrick Prévôt

Programming requires much more than just writing code in a programming language. It is usually done in the context of a stateful environment, by interacting with a system through a graphical user interface. Yet, this wide space of…

Programming Languages · Computer Science 2023-02-21 Joel Jakubovic , Jonathan Edwards , Tomas Petricek

Modern privacy regulations, such as the General Data Protection Regulation (GDPR), address privacy in software systems in a technologically agnostic way by mentioning general "technical measures" for data privacy compliance rather than…

Software Engineering · Computer Science 2022-08-19 Oleksandra Klymenko , Oleksandr Kosenkov , Stephen Meisenbacher , Parisa Elahidoost , Daniel Mendez , Florian Matthes

Task completion in digital and physical environments increasingly involves complex temporal interaction, where actions and observations unfold over different time scales rather than align with fixed observation--action steps. To model such…

Artificial Intelligence · Computer Science 2026-05-13 Jialian Li , Yuchen Cao , Junhong Liu , Weiran Guo , Xutao Wang , Jiaming Song , Jiahao Zhang , Jie Chen

Many complex systems can be modeled as multiagent systems in which the constituent entities (agents) interact with each other. The global dynamics of such a system is determined by the nature of the local interactions among the agents.…

Multiagent Systems · Computer Science 2011-11-10 Reinhard Laubenbacher , Abdul S. Jarrah , Henning Mortveit , S. S. Ravi

Event data provide the main source of information for analyzing and improving processes in organizations. Process mining techniques capture the state of running processes w.r.t. various aspects, such as activity-flow and performance…

Other Computer Science · Computer Science 2022-01-20 Mahsa Pourbafrani , Wil M. P. van der Aalst

In this expository paper we give an overview of some statistical methods for the monitoring of social networks. We discuss the advantages and limitations of various methods as well as some relevant issues. One of our primary contributions…

Other Statistics · Statistics 2016-04-01 William H. Woodall , Meng J. Zhao , Kamran Paynabar , Ross Sparks , James D. Wilson

This paper presents a review of human activity recognition and behaviour understanding in video sequence. The key objective of this paper is to provide a general review on the overall process of a surveillance system used in the current…

Computer Vision and Pattern Recognition · Computer Science 2012-07-31 A. R. Revathi , Dhananjay Kumar

This research report presents an analysis of the state of the art of modeling Internet of Things (IoT)-aware business processes. IOT links the physical world to the digital world. Traditionally, we would find information about events and…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-11-05 Nadja Brouns , Samir Tata , Heiko Ludwig , E. Serral Asensio , Paul Grefen

A growing number of applications that generate massive streams of data need intelligent data processing and online analysis. Real-time surveillance systems, telecommunication systems, sensor networks and other dynamic environments are such…

Databases · Computer Science 2011-05-11 Mahnoosh Kholghi , Mohammadreza Keyvanpour

Modeling social interactions is a challenging task that requires flexible frameworks. For instance, dissimulation and externalities are relevant features influencing such systems -- elements that are often neglected in popular models. This…

Optimization and Control · Mathematics 2022-12-21 Yuri Saporito , Max O. Souza , Yuri Thamsten

Temporal networks of face-to-face interactions between individuals are useful proxies of the dynamics of social systems on fast time scales. Several empirical statistical properties of these networks have been shown to be robust across a…

Physics and Society · Physics 2023-02-03 Didier Le Bail , Mathieu Génois , Alain Barrat

In emergency management for mass gathering, the knowledge about crowd types can highly assist with providing timely response and effective resource allocation. Crowd monitoring can be achieved using computer vision based approaches and…

Computers and Society · Computer Science 2016-06-03 Minh Quan Ngo , Pari Delir Haghighi , Frada Burstein

Predictive models are increasingly used to make various consequential decisions in high-stakes domains such as healthcare, finance, and policy. It becomes critical to ensure that these models make accurate predictions, are robust to shifts…

Machine Learning · Computer Science 2022-09-22 Murtuza N Shergadwala , Himabindu Lakkaraju , Krishnaram Kenthapadi

We define two complementary approaches to monitor decentralized systems. The first relies on those with a centralized specification, i.e, when the specification is written for the behavior of the entire system. To do so, our approach…

Software Engineering · Computer Science 2018-08-09 Antoine El-Hokayem , Yliès Falcone

AI and its relevant technologies, including machine learning, deep learning, chatbots, virtual assistants, and others, are currently undergoing a profound transformation of development and organizational processes within companies.…

Cryptography and Security · Computer Science 2024-12-11 Tingting Bi , Guangsheng Yu , Qin Wang

The recent shift to remote learning and work has aggravated long-standing problems, such as the problem of monitoring the mental health of individuals and the progress of students towards learning targets. We introduce a novel latent…

Applications · Statistics 2023-10-13 Minjeong Jeon , Michael Schweinberger

Although models are built on the basis of some observations of reality, the concepts that derive theoretically from their definitions as well as from their characteristics and properties are not necessarily direct consequences of these…

Discrete Mathematics · Computer Science 2011-11-11 Mathilde Noual , Sylvain Sené

Understanding human actions in visual data is tied to advances in complementary research areas including object recognition, human dynamics, domain adaptation and semantic segmentation. Over the last decade, human action analysis evolved…

Computer Vision and Pattern Recognition · Computer Science 2017-02-02 Samitha Herath , Mehrtash Harandi , Fatih Porikli

The purpose of this work is two fold: on one hand we want to formalize the behavior of critical components of the self generating and adapting cognitive middleware AWDRAT such that the formalism not only helps to understand the semantics…

Programming Languages · Computer Science 2014-12-16 Muhammad Taimoor Khan , Dimitrios Serpanos , Howard Shrobe