English
Related papers

Related papers: HTN Plan Repair Algorithms Compared: Strengths and…

200 papers

Robust optimization is a widely studied area in operations research, where the algorithm takes as input a range of values and outputs a single solution that performs well for the entire range. Specifically, a robust algorithm aims to…

Data Structures and Algorithms · Computer Science 2020-05-19 Arun Ganesh , Bruce M. Maggs , Debmalya Panigrahi

Fixed-point iteration algorithms like RTA (response time analysis) and QPA (quick processor-demand analysis) are arguably the most popular ways of solving schedulability problems for preemptive uniprocessor FP (fixed-priority) and EDF…

Operating Systems · Computer Science 2023-08-21 Abhishek Singh

Reconfigurable optical topologies are emerging as a promising technology to improve the efficiency of datacenter networks. This paper considers the problem of scheduling opportunistic links in such reconfigurable datacenters. We study the…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-10-16 Janardhan Kulkarni , Stefan Schmid , Paweł Schmidt

Machine scheduling problems involving conflict jobs can be seen as a constrained version of the classical scheduling problem, in which some jobs are conflict in the sense that they cannot be proceeded simultaneously on different machines.…

Data Structures and Algorithms · Computer Science 2021-02-12 Minh Hoàng Hà , Dinh Quy Ta , Trung Thanh Nguyen

This PhD thesis summarizes research works on the design of exact algorithms that provide a worst-case (time or space) guarantee for NP-hard scheduling problems. Both theoretical and practical aspects are considered with three main results…

Computational Complexity · Computer Science 2017-12-07 Lei Shang

The study emphasizes the challenge of finding the optimal trade-off between bias and variance, especially as hyperparameter optimization increases in complexity. Through empirical analysis, three hyperparameter tuning algorithms…

Machine Learning · Computer Science 2024-08-30 Subhasis Dasgupta , Jaydip Sen

The state-of-the-art tools for practical graph canonization are all based on the individualization-refinement paradigm, and their difference is primarily in the choice of heuristics they include and in the actual tool implementation. It is…

Data Structures and Algorithms · Computer Science 2017-11-23 Jakob L. Andersen , Daniel Merkle

This paper considers a recoverable robust single-machine scheduling problem under polyhedral uncertainty with the objective of minimising the total flow time. In this setting, a decision-maker must determine a first-stage schedule subject…

Optimization and Control · Mathematics 2022-03-08 Matthew Bold , Marc Goerigk

We present a framework for learning to guide geometric task and motion planning (GTAMP). GTAMP is a subclass of task and motion planning in which the goal is to move multiple objects to target regions among movable obstacles. A standard…

Robotics · Computer Science 2022-03-10 Beomjoon Kim , Luke Shimanuki , Leslie Pack Kaelbling , Tomás Lozano-Pérez

Retrieving the correct set of files from a large codebase is a crucial step in Automated Program Repair (APR). High recall is necessary to ensure that the relevant files are included, but simply increasing the number of retrieved files…

Software Engineering · Computer Science 2026-04-14 Mahir Labib Dihan , Faria Binta Awal , Md. Ishrak Ahsan

Hierarchical Task Network (HTN) planning uses task decomposition to plan for an executable sequence of actions as a solution to a problem. In order to reason effectively, an HTN planner needs expressive domain knowledge. For instance, a…

Artificial Intelligence · Computer Science 2011-12-01 Ilče Georgievski , Alexander Lazovik , Marco Aiello

Container stowage planning (CSPP) is a critical component of maritime transportation and terminal operations, directly affecting supply chain efficiency. Owing to its complexity, CSPP has traditionally relied on human expertise. While…

Artificial Intelligence · Computer Science 2025-10-06 Yunqi Huang , Nishith Chennakeshava , Alexis Carras , Vladislav Neverov , Wei Liu , Aske Plaat , Yingjie Fan

In this paper, we propose a class of threshold secret sharing schemes with repairing function between shares without the help of the dealer, that we called repairable threshold secret sharing schemes. Specifically, if a share fails, such as…

Cryptography and Security · Computer Science 2015-02-05 Xuan Guang , Jiyong Lu , Fang-Wei Fu

We perform a refined complexity-theoretic analysis of three classical problems in the context of Hierarchical Task Network Planning: the verification of a provided plan, whether an executable plan exists, and whether a given state can be…

Computational Complexity · Computer Science 2025-01-23 Cornelius Brand , Robert Ganian , Fionn Mc Inerney , Simon Wietheger

We address a dynamic repair shop scheduling problem in the context of military aircraft fleet management where the goal is to maintain a full complement of aircraft over the long-term. A number of flights, each with a requirement for a…

Artificial Intelligence · Computer Science 2014-02-05 Maliheh Aramon Bajestani , J. Christopher Beck

Automated program repair (APR) has great potential to reduce the effort and time-consumption in software maintenance and becomes a hot topic in software engineering recently with many approaches being proposed. Multi-location program repair…

Software Engineering · Computer Science 2019-01-08 Shangwen Wang , Xiaoguang Mao , Nan Niu , Xin Yi , Anbang Guo

Natural disasters require repairing all damaged components in electricity distribution networks. Optimal scheduling repair crews to minimize the aggregate duration of interruptions reduces the harm. We consider the fact that the number of…

Optimization and Control · Mathematics 2019-06-18 Yushi Tan , Arindam K. Das , Payman Arabshahi , Daniel S. Kirschen

Multiagent planning and coordination problems are common and known to be computationally hard. We show that a wide range of two-agent problems can be formulated as bilinear programs. We present a successive approximation algorithm that…

Artificial Intelligence · Computer Science 2014-01-16 Marek Petrik , Shlomo Zilberstein

Private enterprises and governments around the world use speed cameras to control traffic flow and limit speed excess. Cameras may be exposed to difficult weather conditions and typically require frequent maintenance. When deciding the…

Data Structures and Algorithms · Computer Science 2019-09-16 Albert Einstein Fernandes Muritiba , Tibérius O. Bonates , Stênio Oliveira Da Silva , Manuel Iori

Achieving joint objectives by teams of cooperative planning agents requires significant coordination and communication efforts. For a single-agent system facing a plan failure in a dynamic environment, arguably, attempts to repair the…

Artificial Intelligence · Computer Science 2012-02-14 Antonín Komenda , Peter Novák , Michal Pěchouček
‹ Prev 1 4 5 6 7 8 10 Next ›