English
Related papers

Related papers: Package-Aware Approach for Repository-Level Code C…

200 papers

Developing suitable formal semantics can be of great help in the understanding, design and implementation of a programming language, and act as a guide for software development tools like analyzers or partial evaluators. In this sense, full…

Logic in Computer Science · Computer Science 2010-02-16 F. J. López-Fraguas , J. Rodríguez-Hortalá

We study the problem of searching a repository of complex hierarchical workflows whose component modules, both composite and atomic, have been annotated with keywords. Since keyword search does not use the graph structure of a workflow, we…

Databases · Computer Science 2013-07-10 Susan B. Davidson , Xiaocheng Huang , Julia Stoyanovich , Xiaojie Yuan

In this paper, we propose a simple global optimisation algorithm inspired by Pareto's principle. This algorithm samples most of its solutions within prominent search domains and is equipped with a self-adaptive mechanism to control the…

Optimization and Control · Mathematics 2021-03-30 Mahmoud Shaqfa , Katrin Beyer

Patent examiners and inventors face significant pressure to verify the originality and non-obviousness of inventions, and the intricate nature of patent data intensifies the challenges of patent retrieval. Therefore, there is a pressing…

Information Retrieval · Computer Science 2025-07-22 Amna Ali , Liyanage C. De Silva , Pg Emeroylariffion Abas

How can we help a forgetful learner learn multiple concepts within a limited time frame? While there have been extensive studies in designing optimal schedules for teaching a single concept given a learner's memory model, existing…

Artificial Intelligence · Computer Science 2019-10-28 Anette Hunziker , Yuxin Chen , Oisin Mac Aodha , Manuel Gomez Rodriguez , Andreas Krause , Pietro Perona , Yisong Yue , Adish Singla

Minimizing the number of reshuffling operations at maritime container terminals incorporates the Pre-Marshalling Problem (PMP) as an important problem. Based on an analysis of existing solution approaches we develop new heuristics utilizing…

Artificial Intelligence · Computer Science 2015-11-17 Raka Jovanovic , Milan Tuba , Stefan Voss

This paper contributes a novel strategy for semantics-aware autonomous exploration and inspection path planning. Attuned to the fact that environments that need to be explored often involve a sparse set of semantic entities of particular…

Robotics · Computer Science 2023-03-14 Mihir Dharmadhikari , Kostas Alexis

In unstructured environments like parking lots or construction sites, due to the large search-space and kinodynamic constraints of the vehicle, it is challenging to achieve real-time planning. Several state-of-the-art planners utilize…

Robotics · Computer Science 2023-07-18 Bhargav Adabala , Zlatan Ajanović

Programmers currently enjoy access to a very high number of code repositories and libraries of ever increasing size. The ensuing potential for reuse is however hampered by the fact that searching within all this code becomes an increasingly…

Programming Languages · Computer Science 2016-08-09 Isabel Garcia-Contreras , Jose F. Morales , Manuel V. Hermenegildo

The paper presents a comprehensive performance evaluation of some heuristic search algorithms in the context of autonomous systems and robotics. The objective of the study is to evaluate and compare the performance of different search…

Multiagent Systems · Computer Science 2023-10-05 Aya Kherrour , Marco Robol , Marco Roveri , Paolo Giorgini

This study designs an efficient and equitable humanitarian supply chain dynamically by using reinforcement learning, PPO, and compared with heuristic algorithms. This study demonstrates the model of PPO always treats average satisfaction…

Machine Learning · Computer Science 2025-05-26 Weijia Jin

Matrix completion aims to recover an unknown low-rank matrix from a small subset of its entries. In many applications, the rank of the unknown target matrix is known in advance. In this paper, first we revisit a recently proposed rank-based…

Optimization and Control · Mathematics 2024-06-11 Tacildo de Souza Araújo , Douglas S. Gonçalves , Cristiano Torezzan

We consider a family of Rich Vehicle Routing Problems (RVRP) which have the particularity to combine a heterogeneous fleet with other attributes, such as backhauls, multiple depots, split deliveries, site dependency, open routes, duration…

Optimization and Control · Mathematics 2018-03-07 Puca Huachi Vaz Penna , Anand Subramanian , Luiz Satoru Ochi , Thibaut Vidal , Christian Prins

Many of the artificial intelligence techniques developed to date rely on heuristic search through large spaces. Unfortunately, the size of these spaces and the corresponding computational effort reduce the applicability of otherwise novel…

Artificial Intelligence · Computer Science 2011-05-30 D. J. Cook , R. C. Varnell

Inferential decision-making algorithms typically assume that an underlying probabilistic model of decision alternatives and outcomes may be learned a priori or online. Furthermore, when applied to robots in real-world settings they often…

Robotics · Computer Science 2023-09-15 Yucheng Chen , Pingping Zhu , Anthony Alers , Tobias Egner , Marc A. Sommer , Silvia Ferrari

Built upon the existing analysis of retrieval heads in large language models, we propose an alternative reranking framework that trains models to estimate passage-query relevance using the attention scores of selected heads. This approach…

Computation and Language · Computer Science 2026-03-11 Yuqing Li , Jiangnan Li , Mo Yu , Guoxuan Ding , Zheng Lin , Weiping Wang , Jie Zhou

Domain-specific heuristics are an essential technique for solving combinatorial problems efficiently. Current approaches to integrate domain-specific heuristics with Answer Set Programming (ASP) are unsatisfactory when dealing with…

Artificial Intelligence · Computer Science 2023-01-10 Richard Comploi-Taupe , Gerhard Friedrich , Konstantin Schekotihin , Antonius Weinzierl

In both industrial and service domains, a central benefit of the use of robots is their ability to quickly and reliably execute repetitive tasks. However, even relatively simple peg-in-hole tasks are typically subject to stochastic…

Robotics · Computer Science 2023-07-28 Benjamin Alt , Darko Katic , Rainer Jäkel , Michael Beetz

We provide methods for in-database support of decision making under uncertainty. Many important decision problems correspond to selecting a package (bag of tuples in a relational database) that jointly satisfy a set of constraints while…

Databases · Computer Science 2021-03-12 Matteo Brucato , Nishant Yadav , Azza Abouzied , Peter J. Haas , Alexandra Meliou

While most heuristics studied in heuristic search depend only on the state, some accumulate information during search and thus also depend on the search history. Various existing approaches use such dynamic heuristics in $\mathrm{A}^*$-like…

Artificial Intelligence · Computer Science 2025-12-10 Remo Christen , Florian Pommerening , Clemens Büchner , Malte Helmert