中文
相关论文

相关论文: Total-Order and Partial-Order Planning: A Comparat…

200 篇论文

Order is one of the main instruments to measure the relationship between objects in (empirical) data. However, compared to methods that use numerical properties of objects, the amount of ordinal methods developed is rather small. One reason…

人工智能 · 计算机科学 2023-12-29 Gerd Stumme , Dominik Dürrschnabel , Tom Hanika

We consider a parallel system of $m$ identical machines prone to unpredictable crashes and restarts, trying to cope with the continuous arrival of tasks to be executed. Tasks have different computational requirements (i.e., processing time…

分布式、并行与集群计算 · 计算机科学 2016-03-21 Elli Zavou , Antonio Fernández Anta

This paper introduces a framework for Planning while Learning where an agent is given a goal to achieve in an environment whose behavior is only partially known to the agent. We discuss the tractability of various plan-design processes. We…

人工智能 · 计算机科学 2014-11-17 S. Safra , M. Tennenholtz

Partial orders may be used for modeling and summarising ranking data when the underlying order relations are less strict than a total order. They are a natural choice when the data are lists recording individuals' positions in queues in…

统计方法学 · 统计学 2024-08-28 Chuxuan , Jiang , Geoff K. Nicholls

Developing CPU scheduling algorithms and understanding their impact in practice can be difficult and time consuming due to the need to modify and test operating system kernel code and measure the resulting performance on a consistent…

操作系统 · 计算机科学 2013-07-17 Neetu Goel , R. B. Garg

One of the most ubiquitous problems in optimization is that of finding all the elements of a finite set at which a function $f$ attains its minimum (or maximum). When the codomain of $f$ is equipped with a total order, it is easy to…

最优化与控制 · 数学 2026-03-17 Patrik Jansson , Nicola Botta , Tim Richter

Linearizability is the commonly accepted notion of correctness for concurrent data structures. It requires that any execution of the data structure is justified by a linearization --- a linear order on operations satisfying the data…

编程语言 · 计算机科学 2017-07-07 Artem Khyzha , Mike Dodds , Alexey Gotsman , Matthew Parkinson

Many applications, e.g., Web service composition, complex system design, team formation, etc., rely on methods for identifying collections of objects or entities satisfying some functional requirement. Among the collections that satisfy the…

人工智能 · 计算机科学 2014-01-17 Ganesh Ram Santhanam , Samik Basu , Vasant Honavar

Decision making under uncertainty is at the heart of any autonomous system acting with imperfect information. The cost of solving the decision making problem is exponential in the action and observation spaces, thus rendering it unfeasible…

人工智能 · 计算机科学 2024-06-18 Tom Yotam , Vadim Indelman

When allocating indivisible objects via lottery, planners often use ordinal mechanisms, which elicit agents' rankings of objects rather than their full preferences over lotteries. In such an ordinal informational environment, planners…

理论经济学 · 经济学 2025-08-21 Eun Jeong Heo , Vikram Manjunath , Samson Alva

In many applications, e.g., recommender systems and traffic monitoring, the data comes in the form of a matrix that is only partially observed and low rank. A fundamental data-analysis task for these datasets is matrix completion, where the…

机器学习 · 计算机科学 2017-05-02 Natali Ruchansky , Mark Crovella , Evimaria Terzi

Analyzing big data in a highly dynamic environment becomes more and more critical because of the increasingly need for end-to-end processing of this data. Modern data flows are quite complex and there are not efficient, cost-based,…

数据库 · 计算机科学 2015-07-31 Georgia Kougka , Anastasios Gounaris

We consider the problem of sorting $n$ items, given the outcomes of $m$ pre-existing comparisons. We present a simple and natural deterministic algorithm that runs in $O(m + \log T)$ time and does $O(\log T)$ comparisons, where $T$ is the…

数据结构与算法 · 计算机科学 2026-05-06 Bernhard Haeupler , Richard Hladík , John Iacono , Vaclav Rozhon , Robert Tarjan , Jakub Tětek

The early classifications of the computational complexity of planning under various restrictions in STRIPS (Bylander) and SAS+ (Baeckstroem and Nebel) have influenced following research in planning in many ways. We go back and reanalyse…

人工智能 · 计算机科学 2012-08-14 Christer Baeckstroem , Yue Chen , Peter Jonsson , Sebastian Ordyniak , Stefan Szeider

For two causal structures with the same set of visible variables, one is said to observationally dominate the other if the set of distributions over the visible variables realizable by the first contains the set of distributions over the…

机器学习 · 统计学 2025-02-24 Marina Maciel Ansanelli , Elie Wolfe , Robert W. Spekkens

Though competitive analysis has been a very useful performance measure for the quality of online algorithms, it is recognized that it sometimes fails to distinguish between algorithms of different quality in practice. A number of…

数据结构与算法 · 计算机科学 2015-03-19 Joan Boyar , Kim S. Larsen , Abyayananda Maiti

The goal of partial-order methods is to accelerate the exploration of concurrent systems by examining only a representative subset of all possible runs. The stateful approach builds a transition system with representative runs, while the…

计算机科学中的逻辑 · 计算机科学 2024-11-27 Frédéric Herbreteau , Sarah Larroze-Jardiné , Gérald Point , Igor Walukiewicz

Human preferences are not always represented via complete linear orders: It is natural to employ partially-ordered preferences for expressing incomparable outcomes. In this work, we consider decision-making and probabilistic planning in…

机器人学 · 计算机科学 2024-10-21 Hazhar Rahmani , Abhishek N. Kulkarni , Jie Fu

Learning and planning in partially-observable domains is one of the most difficult problems in reinforcement learning. Traditional methods consider these two problems as independent, resulting in a classical two-stage paradigm: first learn…

人工智能 · 计算机科学 2019-11-25 Tianyu Li , Bogdan Mazoure , Doina Precup , Guillaume Rabusseau

We identify two unreasonable, though standard, assumptions made by database query optimizers that can adversely affect the quality of the chosen evaluation plans. One assumption is that it is enough to optimize for the expected case---that…

数据库 · 计算机科学 2007-05-23 Francis C. Chu , Joseph Y. Halpern , Praveen Seshadri