English
Related papers

Related papers: HeRTA: Heaviside Real-Time Analysis

200 papers

The method of significant moment analysis has been employed to derive instantaneous schedulability tests for real-time systems. However, the instantaneous schedulability can only be checked within a finite time window. On the other hand,…

Systems and Control · Electrical Eng. & Systems 2021-09-14 Ningshi Yao , Fumin Zhang

The paper presents a comprehensive performance evaluation of some heuristic search algorithms in the context of autonomous systems and robotics. The objective of the study is to evaluate and compare the performance of different search…

Multiagent Systems · Computer Science 2023-10-05 Aya Kherrour , Marco Robol , Marco Roveri , Paolo Giorgini

Event prediction is the ability of anticipating future events, i.e., future real-world occurrences, and aims to support the user in deciding on actions that change future events towards a desired state. An event prediction method learns the…

Artificial Intelligence · Computer Science 2025-07-10 Janik-Vasily Benzin , Stefanie Rinderle-Ma

Extreme weather events pose significant challenges, thereby demanding techniques for accurate analysis and precise forecasting to mitigate its impact. In recent years, deep learning techniques have emerged as a promising approach for…

Atmospheric and Oceanic Physics · Physics 2023-08-23 Shikha Verma , Kuldeep Srivastava , Akhilesh Tiwari , Shekhar Verma

Extreme events are of great importance since they often represent impactive occurrences. For instance, in terms of climate and weather, extreme events might be major storms, floods, extreme heat or cold waves, and more. However, they are…

Machine Learning · Computer Science 2024-09-24 Jimeng Shi , Azam Shirali , Giri Narasimhan

Response time is one of the characteristics of scheduler, happens to be a prominent attribute of any CPU scheduling algorithm. The proposed New Multi Level Feedback Queue [NMLFQ] Scheduler is compared with dynamic, real time, Dependent…

Operating Systems · Computer Science 2014-08-06 M. V. Panduranga Rao , K. C. Shet

A key challenge in satisficing planning is to use multiple heuristics within one heuristic search. An aggregation of multiple heuristic estimates, for example by taking the maximum, has the disadvantage that bad estimates of a single…

Artificial Intelligence · Computer Science 2021-04-13 David Speck , André Biedenkapp , Frank Hutter , Robert Mattmüller , Marius Lindauer

Timed automata and register automata are well-known models of computation over timed and data words respectively. The former has clocks that allow to test the lapse of time between two events, whilst the latter includes registers that can…

Formal Languages and Automata Theory · Computer Science 2019-02-20 Diego Figueira , Piotr Hofman , Sławomir Lasota

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

Rare events play a key role in many applications and numerous algorithms have been proposed for estimating the probability of a rare event. However, relatively little is known on how to quantify the sensitivity of the probability with…

Probability · Mathematics 2019-02-06 Paul Dupuis , Markos A. Katsoulakis , Yannis Pantazis , Luc Rey-Bellet

Prior research in resource scheduling for machine learning training workloads has largely focused on minimizing job completion times. Commonly, these model training workloads collectively search over a large number of parameter values that…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-01-09 Richard Liaw , Romil Bhardwaj , Lisa Dunlap , Yitian Zou , Joseph Gonzalez , Ion Stoica , Alexey Tumanov

When function approximation is deployed in reinforcement learning (RL), the same problem may be formulated in different ways, often by treating a pre-processing step as a part of the environment or as part of the agent. As a consequence,…

Machine Learning · Computer Science 2020-06-02 Nan Jiang

Recent years have witnessed a fast-growing interest in computing explanations for Machine Learning (ML) models predictions. For non-interpretable ML models, the most commonly used approaches for computing explanations are heuristic in…

Machine Learning · Computer Science 2019-07-05 Alexey Ignatiev , Nina Narodytska , Joao Marques-Silva

Workforce optimization plays a crucial role in efficient organizational operations where decision-making may span several different administrative and time scales. For instance, dispatching personnel to immediate service requests while…

Artificial Intelligence · Computer Science 2025-03-04 Kareem Eissa , Rayal Prasad , Sarith Mohan , Ankur Kapoor , Dorin Comaniciu , Vivek Singh

Increasing data volumes in scientific experiments necessitate the use of high-performance computing (HPC) resources for data analysis. In many scientific fields, the data generated from scientific instruments and supercomputer simulations…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-03-25 Sam Nickolay , Eun-Sung Jung , Rajkumar Kettimuthu , Ian Foster

Temporal logics over finite traces have recently seen wide application in a number of areas, from business process modelling, monitoring, and mining to planning and decision making. However, real-life dynamic systems contain a degree of…

Logic in Computer Science · Computer Science 2019-11-19 Fabrizio M. Maggi , Marco Montali , Rafael Peñaloza

Probability forecasts of events are routinely used in climate predictions, in forecasting default probabilities on bank loans or in estimating the probability of a patient's positive response to treatment. Scoring rules have long been used…

Statistics Theory · Mathematics 2012-02-24 Tze Leung Lai , Shulamith T. Gross , David Bo Shen

Wind power ramp events are difficult to forecast due to strong variability, multi-scale dynamics, and site-specific meteorological effects. This paper proposes an event-first, frequency-aware forecasting paradigm that directly predicts ramp…

Machine Learning · Computer Science 2026-02-09 Purbak Sengupta , Sambeet Mishra , Sonal Shreya

The problem of scheduling with testing in the framework of explorable uncertainty models environments where some preliminary action can influence the duration of a task. In the model, each job has an unknown processing time that can be…

Data Structures and Algorithms · Computer Science 2021-08-20 Susanne Albers , Alexander Eckl

We present a framework for Multi-Robot Task Allocation (MRTA) in heterogeneous teams performing long-endurance missions in dynamic scenarios. Given the limited battery of robots, especially for aerial vehicles, we allow for robot recharges…

Robotics · Computer Science 2025-11-27 Alvaro Calvo , Jesus Capitan
‹ Prev 1 4 5 6 7 8 10 Next ›