English
Related papers

Related papers: Improving search order for reachability testing in…

200 papers

Scheduling with testing is a recent online problem within the framework of explorable uncertainty motivated by environments where some preliminary action can influence the duration of a task. Jobs have an unknown processing time that can be…

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

When designing optimal controllers for any system, it is often the case that the true state of the system is unknown to the controller, for example due to noisy measurements or partially observable states. Incomplete state information must…

Optimization and Control · Mathematics 2014-01-23 Kendra Lesser , Meeko Oishi

Rankings, especially those in search and recommendation systems, often determine how people access information and how information is exposed to people. Therefore, how to balance the relevance and fairness of information exposure is…

Information Retrieval · Computer Science 2021-02-22 Tao Yang , Qingyao Ai

We consider the online traveling salesman problem on the real line (OLTSPL) in which a salesman begins at the origin, traveling at no faster than unit speed along the real line, and wants to serve a sequence of requests, arriving online…

Data Structures and Algorithms · Computer Science 2025-07-10 Pei-Chuan Chen , Erik D. Demaine , Chung-Shou Liao , Hao-Ting Wei

Motivated by the success of bounded model checking framework for finite state machines, Ouaknine and Worrell proposed a time-bounded theory of real-time verification by claiming that restriction to bounded-time recovers decidability for…

Logic in Computer Science · Computer Science 2014-08-18 Shankara Narayanan Krishna , Lakshmi Manasa , Ashutosh Trivedi

Algorithms with predictions is a recent framework that has been used to overcome pessimistic worst-case bounds in incomplete information settings. In the context of scheduling, very recent work has leveraged machine-learned predictions to…

Data Structures and Algorithms · Computer Science 2022-12-08 Eric Balkanski , Tingting Ou , Clifford Stein , Hao-Ting Wei

Neural Architecture Search (NAS) aims to facilitate the design of deep networks for new tasks. Existing techniques rely on two stages: searching over the architecture space and validating the best architecture. NAS algorithms are currently…

Machine Learning · Computer Science 2019-11-25 Kaicheng Yu , Christian Sciuto , Martin Jaggi , Claudiu Musat , Mathieu Salzmann

This paper deals with the impact of fault prediction techniques on checkpointing strategies. We extend the classical first-order analysis of Young and Daly in the presence of a fault prediction system, characterized by its recall and its…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-12-05 Guillaume Aupy , Yves Robert , Frédéric Vivien , Dounia Zaidouni

This paper presents a machine learning approach for tuning the parameters of a family of stabilizing controllers for orbital tracking. An augmented random search algorithm is deployed, which aims at minimizing a cost function combining…

Systems and Control · Electrical Eng. & Systems 2023-08-08 Gianni Bianchini , Andrea Garulli , Antonio Giannitrapani , Mirko Leomanni , Renato Quartullo

Ranking objects is a simple and natural procedure for organizing data. It is often performed by assigning a quality score to each object according to its relevance to the problem at hand. Ranking is widely used for object selection, when…

Artificial Intelligence · Computer Science 2012-06-26 Or Zuk , Liat Ein-Dor , Eytan Domany

Modern platforms are using accelerators in conjunction with standard processing units in order to reduce the running time of specific operations, such as matrix operations, and improve their performance. Scheduling on such hybrid platforms…

Data Structures and Algorithms · Computer Science 2020-02-11 Vincent Fagnon , Imed Kacem , Giorgio Lucarelli , Bertrand Simon

We study the measure of order-competitive ratio introduced by Ezra et al. [2023] for online algorithms in Bayesian combinatorial settings. In our setting, a decision-maker observes a sequence of elements that are associated with stochastic…

Computer Science and Game Theory · Computer Science 2023-07-07 Tomer Ezra , Tamar Garbuz

Motivated by the operational problems in click and collect systems, such as curbside pickup programs, we study a joint admission control and capacity allocation problem. We consider a system where arriving customers have preferred service…

Optimization and Control · Mathematics 2022-03-04 Melis Boran , Bahar Cavdar , Tugce Isik

The rapid development of robotics has benefited by more and more people putting their attention to it. With the demand for robots is growing for the purpose of fulfilling tasks instead of humans, how to control the robot better is becoming…

Systems and Control · Electrical Eng. & Systems 2022-08-23 Yang Zhang

Lost sales inventory models with large lead times, which arise in many practical settings, are notoriously difficult to optimize due to the curse of dimensionality. In this paper we show that when lead times are large, a very simple…

Optimization and Control · Mathematics 2014-09-05 David A. Goldberg , Dmitriy A. Katz-Rogozhnikov , Yingdong Lu , Mayank Sharma , Mark S. Squillante

The resource management of a phase array system capable of multiple target tracking and surveillance is critical for the realization of its full potential. Present work aims to improve the performance of an existing method, time-balance…

Signal Processing · Electrical Eng. & Systems 2025-12-03 Ömer Çayır , Çağatay Candan

This paper discussed some job scheduling algorithms for Hadoop platform, and proposed a jobs scheduling optimization algorithm based on Bayes Classification viewing the shortcoming of those algorithms which are used. The proposed algorithm…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-06-10 Yingjie Guo , Linzhi Wu , Wei Yu , Bin Wu , Xiaotian Wang

In terms of the concepts of state and state transition, a new heuristic random search algorithm named state transition algorithm is proposed. For continuous function optimization problems, four special transformation operators called…

Optimization and Control · Mathematics 2013-12-10 Xiaojun Zhou , Chunhua Yang , Weihua Gui

Ride-sourcing services are now reshaping the way people travel by effectively connecting drivers and passengers through mobile internets. Online matching between idle drivers and waiting passengers is one of the most key components in a…

Multiagent Systems · Computer Science 2019-02-19 Jintao Ke , Feng Xiao , Hai Yang , Jieping Ye

The ideas of optimization of learning algorithms in Artificial Neural Networks are reviewed emphasizing generic properties and the online implementations are interpreted from a biological perspective. A simple model of the relevant…

Disordered Systems and Neural Networks · Physics 2017-02-08 N. Caticha , O. Kinouchi