中文
相关论文

相关论文: The Munich Rent Advisor: A Success for Logic Progr…

200 篇论文

This paper employs machine learning algorithms to forecast German electricity spot market prices. The forecasts utilize in particular bid and ask order book data from the spot market but also fundamental market data like renewable infeed…

应用统计 · 统计学 2022-09-20 Simon Schnürch , Andreas Wagner

This project aims at creating an investment device to help investors determine which real estate units have a higher return to investment in Madrid. To do so, we gather data from Idealista.com, a real estate web-page with millions of real…

The online search problem is a fundamental problem in finance. The numerous direct applications include searching for optimal prices for commodity trading and trading foreign currencies. In this paper, we analyze the advice complexity of…

数据结构与算法 · 计算机科学 2017-01-10 Jhoirene Clemente , Juraj Hromkovic , Dennis Komm , Christian Kudahl

In this paper, we study the two-level ski-rental problem,where a user needs to fulfill a sequence of demands for multiple items by choosing one of the three payment options: paying for the on-demand usage (i.e., rent), buying individual…

数据结构与算法 · 计算机科学 2024-02-13 Keyuan Zhang , Zhongdong Liu , Nakjung Choi , Bo Ji

The current practice of envy-free rent division, lead by the fair allocation website Spliddit, is based on quasi-linear preferences. These preferences rule out agents' well documented financial constraints. To resolve this issue we consider…

计算机科学与博弈论 · 计算机科学 2020-02-11 Rodrigo A. Velez

Serverless computing has emerged as a market-dominant paradigm in modern cloud computing, benefiting both cloud providers and tenants. While service providers can optimize their machine utilization, tenants only need to pay for the…

分布式、并行与集群计算 · 计算机科学 2024-08-02 Qi Pei , Yipeng Wang , Seunghee Shin

Reasoning about complex networks has in recent years become an important topic of study due to its many applications: the adoption of commercial products, spread of disease, the diffusion of an idea, etc. In this paper, we present the…

人工智能 · 计算机科学 2022-10-03 Paulo Shakarian , Gerardo I. Simari , Devon Callahan

The search for information on the web is faced with several problems, which arise on the one hand from the vast number of available sources, and on the other hand from their heterogeneity. A promising approach is the use of multi-agent…

多智能体系统 · 计算机科学 2007-05-23 T. Eiter , M. Fink , G. Sabbatini , H. Tompits

Large pre-trained language models (LMs) are known to encode substantial amounts of linguistic information. However, high-level reasoning skills, such as numerical reasoning, are difficult to learn from a language-modeling objective only.…

计算与语言 · 计算机科学 2020-04-10 Mor Geva , Ankit Gupta , Jonathan Berant

We consider the {\em multi-shop ski rental} problem. This problem generalizes the classic ski rental problem to a multi-shop setting, in which each shop has different prices for renting and purchasing a pair of skis, and a \emph{consumer}…

计算机科学与博弈论 · 计算机科学 2014-04-11 Lingqing Ai , Xian Wu , Lingxiao Huang , Longbo Huang , Pingzhong Tang , Jian Li

Planning methods struggle with computational intractability in solving task-level problems in large-scale environments. This work explores leveraging the commonsense knowledge encoded in LLMs to empower planning techniques to deal with…

机器人学 · 计算机科学 2025-02-14 Rodrigo Pérez-Dattari , Zhaoting Li , Robert Babuška , Jens Kober , Cosimo Della Santina

Homelessness is a social and health problem with great repercussions in Europe. Many non-governmental organisations help homeless people by collecting and analysing large amounts of information about them. However, these tasks are not…

Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this report we investigate a more expressive language for First-Order Functional Logic Programming with Constraints and…

编程语言 · 计算机科学 2011-01-12 Rafael Caballero , Mario Rodríguez-Artalejo , Carlos A. Romero-Díaz

Planning is a fundamental task in artificial intelligence that involves finding a sequence of actions that achieve a specified goal in a given environment. Large language models (LLMs) are increasingly used for applications that require…

计算与语言 · 计算机科学 2024-05-24 Eran Hirsch , Guy Uziel , Ateret Anaby-Tavor

While high-level languages come with significant readability and maintainability benefits, their performance remains difficult to predict. For example, programmers may unknowingly use language features inappropriately, which cause their…

编程语言 · 计算机科学 2018-09-13 Leif Andersen , Vincent St-Amour , Jan Vitek , Matthias Felleisen

Computer models and information systems have been used for urban planning and design since the 1950s. Their capacity for analysis and problem-solving has increased substantially since then with hardware and software being able to manage…

计算机与社会 · 计算机科学 2013-05-08 Gloria Lanci

In the first half of 2018, the Federal Statistical Office of Germany (Destatis) carried out a "Proof of Concept Machine Learning" as part of its Digital Agenda. A major component of this was surveys on the use of machine learning methods in…

计算机与社会 · 计算机科学 2018-12-27 Martin Beck , Florian Dumpert , Joerg Feuerhake

Model-based clustering is a powerful tool that is often used to discover hidden structure in data by grouping observational units that exhibit similar response values. Recently, clustering methods have been developed that permit…

统计方法学 · 统计学 2025-06-24 Sally Paganin , Garritt L. Page , Fernando Andrés Quintana

In this note we describe experiments on an implementation of two methods proposed in the literature for computing regions that correspond to a notion of order statistics for multidimensional data. Our implementation, which works for any…

统计计算 · 统计学 2017-04-26 David L. Woodruff , Stefan Zillmann

Suggestion mining is increasingly becoming an important task along with sentiment analysis. In today's cyberspace world, people not only express their sentiments and dispositions towards some entities or services, but they also spend…

计算与语言 · 计算机科学 2018-11-02 Hitesh Golchha , Deepak Gupta , Asif Ekbal , Pushpak Bhattacharyya