中文
相关论文

相关论文: A UCB-based Tree Search Approach to Joint Verifica…

200 篇论文

Recent advances in bandit tools and techniques for sequential learning are steadily enabling new applications and are promising the resolution of a range of challenging related problems. We study the game tree search problem, where the goal…

机器学习 · 统计学 2017-11-07 Emilie Kaufmann , Wouter Koolen

Stochastic optimization finds a wide range of applications in operations research and management science. However, existing stochastic optimization techniques usually require the information of random samples (e.g., demands in the…

最优化与控制 · 数学 2019-04-18 Xi Chen , Qihang Lin , Zizhuo Wang

Version Control Systems (VCS) are frequently used to support development of large-scale software projects. A typical VCS repository of a large project can contain various intertwined branches consisting of a large number of commits. If some…

软件工程 · 计算机科学 2017-08-23 Jaroslav Bendik , Nikola Benes , Ivana Cerna

Most machine learning classifiers only concern classification accuracy, while certain applications (such as medical diagnosis, meteorological forecasting, and computation advertising) require the model to predict the true probability, known…

机器学习 · 计算机科学 2025-03-13 Siguang Huang , Yunli Wang , Lili Mou , Huayue Zhang , Han Zhu , Chuan Yu , Bo Zheng

Bayes-optimal behavior, while well-defined, is often difficult to achieve. Recent advances in the use of Monte-Carlo tree search (MCTS) have shown that it is possible to act near-optimally in Markov Decision Processes (MDPs) with very large…

人工智能 · 计算机科学 2012-02-20 John Asmuth , Michael L. Littman

Value-at-risk (VaR) is an established measure to assess risks in critical real-world applications with random environmental factors. This paper presents a novel VaR upper confidence bound (V-UCB) algorithm for maximizing the VaR of a…

机器学习 · 计算机科学 2021-05-14 Quoc Phong Nguyen , Zhongxiang Dai , Bryan Kian Hsiang Low , Patrick Jaillet

Monte Carlo Tree Search (MCTS) is a sampling best-first method to search for optimal decisions. The success of MCTS depends heavily on how the MCTS statistical tree is built and the selection policy plays a fundamental role in this. A…

人工智能 · 计算机科学 2023-02-08 Fred Valdez Ameneyro , Edgar Galvan

Local Bayesian optimization is a promising practical approach to solve the high dimensional black-box function optimization problem. Among them is the approximated gradient class of methods, which implements a strategy similar to gradient…

机器学习 · 计算机科学 2024-05-27 Zheyi Fan , Wenyu Wang , Szu Hui Ng , Qingpei Hu

Multi-robot systems can be extremely efficient for accomplishing team-wise tasks by acting concurrently and collaboratively. However, most existing methods either assume static task features or simply replan when environmental changes…

机器人学 · 计算机科学 2026-03-27 Qisheng Zhao , Meng Guo , Hengxuan Du , Lars Lindemann , Zhongkui Li

In the context of tree-search stochastic planning algorithms where a generative model is available, we consider on-line planning algorithms building trees in order to recommend an action. We investigate the question of avoiding re-planning…

机器学习 · 计算机科学 2019-02-14 Erwan Lecarpentier , Guillaume Infantes , Charles Lesire , Emmanuel Rachelson

We provide a simple method to combine stochastic bandit algorithms. Our approach is based on a "meta-UCB" procedure that treats each of $N$ individual bandit algorithms as arms in a higher-level $N$-armed bandit problem that we solve with a…

机器学习 · 计算机科学 2020-12-25 Ashok Cutkosky , Abhimanyu Das , Manish Purohit

Cross-validation (CV) is one of the most popular tools for assessing and selecting predictive models. However, standard CV suffers from high computational cost when the number of folds is large. Recently, under the empirical risk…

统计方法学 · 统计学 2023-05-30 Yuetian Luo , Zhimei Ren , Rina Foygel Barber

This article presents MCTS-BN, an adaptation of the Monte Carlo Tree Search (MCTS) algorithm for the structural learning of Bayesian Networks (BNs). Initially designed for game tree exploration, MCTS has been repurposed to address the…

机器学习 · 计算机科学 2025-02-04 Jorge D. Laborda , Pablo Torrijos , José M. Puerta , José A. Gámez

Contextual multi-armed bandits (CMAB) have been widely used for learning to filter and prioritize information according to a user's interest. In this work, we analyze top-K ranking under the CMAB framework where the top-K arms are chosen…

机器学习 · 计算机科学 2022-01-31 Michael Rawson , Jade Freeman

We initiate the study of tree structures in the context of scenario-based robust optimization. Specifically, we study Binary Search Trees (BSTs) and Huffman coding, two fundamental techniques for efficiently managing and encoding data based…

数据结构与算法 · 计算机科学 2024-08-22 Spyros Angelopoulos , Christoph Dürr , Alex Elenter , Georgii Melidi

A modern radar may be designed to perform multiple functions, such as surveillance, tracking, and fire control. Each function requires the radar to execute a number of transmit-receive tasks. A radar resource management (RRM) module makes…

人工智能 · 计算机科学 2018-05-21 Mahdi Shaghaghi , Raviraj S. Adve , Zhen Ding

The problem of inferring an inductive invariant for verifying program safety can be formulated in terms of binary classification. This is a standard problem in machine learning: given a sample of good and bad points, one is asked to find a…

编程语言 · 计算机科学 2015-01-21 Siddharth Krishna , Christian Puhrsch , Thomas Wies

Several studies have shown that combining machine learning models in an appropriate way will introduce improvements in the individual predictions made by the base models. The key to make well-performing ensemble model is in the diversity of…

机器学习 · 计算机科学 2021-03-01 Mohsen Shahhosseini , Guiping Hu

We explore the sequential decision making problem where the goal is to estimate uniformly well a number of linear models, given a shared budget of random contexts independently sampled from a known distribution. The decision maker must…

机器学习 · 统计学 2017-08-01 Carlos Riquelme , Mohammad Ghavamzadeh , Alessandro Lazaric

Bidirectional motion planning approaches decrease planning time, on average, compared to their unidirectional counterparts. In single-query feasible motion planning, using bidirectional search to find a continuous motion plan requires an…

机器人学 · 计算机科学 2022-09-26 Sharan Nayak , Michael W. Otte