English
Related papers

Related papers: Optimization of Imperative Programs in a Relationa…

200 papers

This paper introduces \textit{Federated Retrieval-Augmented Generation (FRAG)}, a novel database management paradigm tailored for the growing needs of retrieval-augmented generation (RAG) systems, which are increasingly powered by…

Cryptography and Security · Computer Science 2024-10-18 Dongfang Zhao

The generated responses of large language models (LLMs) are often fine-tuned to human preferences through a process called reinforcement learning from human feedback (RLHF). As RLHF relies on a challenging training sequence, whereby a…

Machine Learning · Computer Science 2025-06-10 Xiangkun Hu , Lemin Kong , Tong He , David Wipf

In recent years, there have been valuable efforts and contributions to make the process of RDF knowledge graph creation traceable and transparent; extending and applying declarative mapping languages is an example. One challenging step is…

Databases · Computer Science 2022-10-28 Samaneh Jozashoori , Enrique Iglesias , Maria-Esther Vidal

We present a unified logical framework for representing and reasoning about both quantitative and qualitative preferences in fuzzy answer set programming, called fuzzy answer set optimization programs. The proposed framework is vital to…

Artificial Intelligence · Computer Science 2013-04-11 Emad Saad

Federations of RDF data sources provide great potential when queried for answers and insights that cannot be obtained from one data source alone. A challenge for planning the execution of queries over such a federation is that the…

Databases · Computer Science 2020-10-06 Sijin Cheng , Olaf Hartig

Markov decision processes capture sequential decision making under uncertainty, where an agent must choose actions so as to optimize long term reward. The paper studies efficient reasoning mechanisms for Relational Markov Decision Processes…

Artificial Intelligence · Computer Science 2011-11-02 Chenggang Wang , Saket Joshi , Roni Khardon

There are significant benefits to serve deep learning models from relational databases. First, features extracted from databases do not need to be transferred to any decoupled deep learning systems for inferences, and thus the system…

Databases · Computer Science 2022-10-24 Lixi Zhou , Jiaqing Chen , Amitabh Das , Hong Min , Lei Yu , Ming Zhao , Jia Zou

The connection between inconsistent databases and Dung's abstract argumentation framework has recently drawn growing interest. Specifically, an inconsistent database, involving certain types of integrity constraints such as functional and…

Logic in Computer Science · Computer Science 2024-12-17 Yasir Mahmood , Markus Hecher , Axel-Cyrille Ngonga Ngomo

Traditional relation extraction predicts relations within some fixed and finite target schema. Machine learning approaches to this task require either manual annotation or, in the case of distant supervision, existing structured sources of…

Machine Learning · Computer Science 2013-01-29 Sebastian Riedel , Limin Yao , Andrew McCallum

A logic program is an executable specification. For example, merge sort in pure Prolog is a logical formula, yet shows creditable performance on long linked lists. But such executable specifications are a compromise: the logic is distorted…

Programming Languages · Computer Science 2015-09-29 M. H. van Emden

Developing custom reasoning models via Reinforcement Learning (RL) that can incorporate organization-specific knowledge has great potential to address problems faced by enterprise customers. In many of these problems, the reward function is…

With the power of LLMs, we now have the ability to query data that was previously impossible to query, including text, images, and video. However, despite this enormous potential, most present-day data systems that leverage LLMs are…

Databases · Computer Science 2025-02-19 Sepanta Zeighami , Yiming Lin , Shreya Shankar , Aditya Parameswaran

Aligning large language models (LLMs) with human preferences in federated learning (FL) is challenging due to decentralized, privacy-sensitive, and highly non-IID preference data. Direct Preference Optimization (DPO) offers an efficient…

Machine Learning · Computer Science 2026-03-23 Kewen Zhu , Liping Yi , Zhiming Zhao , Zhuang Qi , Han Yu , Qinghua Hu

The growing interconnection between software systems increases the need for security already at design time. Security-related properties like confidentiality are often analyzed based on data flow diagrams (DFDs). However, manually analyzing…

Software Engineering · Computer Science 2024-03-15 Nicolas Boltz , Sebastian Hahner , Christopher Gerking , Robert Heinrich

Efficient querying and analysis of large tabular datasets remain significant challenges, especially for users without expertise in programming languages like SQL. Text-to-SQL approaches have shown promising performance on benchmark data;…

Databases · Computer Science 2025-08-27 Yipeng Zhang , Chen Wang , Yuzhe Zhang , Jacky Jiang

Datalog-based languages are regaining popularity as a powerful abstraction for expressing recursive computations in domains such as program analysis and graph processing. However, existing systems often face a trade-off between efficiency…

Databases · Computer Science 2025-11-18 Hangdong Zhao , Zhenghong Yu , Srinag Rao , Simon Frisk , Zhiwei Fan , Paraschos Koutris

The database community has developed numerous tools and techniques for data curation and exploration, from declarative languages, to specialized techniques for data repair, and more. Yet, there is currently no consensus on how to best…

Databases · Computer Science 2016-06-02 Juliana Freire , Boris Glavic , Oliver Kennedy , Heiko Mueller

Relational database management system (RDBMS) is a major undergraduate course taught in many universities worldwide as part of their computer science program. A core component of such course is the design and implementation of the query…

Databases · Computer Science 2018-08-22 Siyuan Liu , Sourav S Bhowmick , Wanlu Zhang , Shu Wang , Wanyi Huang , Shafiq Joty

Large language models (LLMs) excel in many natural language processing (NLP) tasks. However, since LLMs can only incorporate new knowledge through training or supervised fine-tuning processes, they are unsuitable for applications that…

Databases · Computer Science 2024-07-23 Zongyue Qin , Chen Luo , Zhengyang Wang , Haoming Jiang , Yizhou Sun

Mathematical optimization offers highly-effective tools for finding solutions for problems with well-defined goals, notably scheduling. However, optimization solvers are often unexplainable black boxes whose solutions are inaccessible to…

Artificial Intelligence · Computer Science 2019-02-21 Kristijonas Čyras , Dimitrios Letsios , Ruth Misener , Francesca Toni
‹ Prev 1 8 9 10 Next ›