中文
相关论文

相关论文: Acyclic Conjunctive Regular Path Queries are no Ha…

200 篇论文

We establish a lower bound concerning the computational complexity of Grover's algorithms on fractal networks. This bound provides general predictions for the quantum advantage gained for searching unstructured lists. It yields a…

统计力学 · 物理学 2018-07-19 Stefan Boettcher , Shanshan Li , Tharso D. Fernandes , Renato Portugal

Retrieval Augmented Generation (RAG) has become a popular application for large language models. It is preferable that successful RAG systems provide accurate answers that are supported by being grounded in a passage without any…

计算与语言 · 计算机科学 2024-12-24 Sara Rosenthal , Avirup Sil , Radu Florian , Salim Roukos

SPARQL is the standard query language for RDF graphs. In its strict instantiation, it only offers querying according to the RDF semantics and would thus ignore the semantics of data expressed with respect to (RDF) schemas or (OWL)…

数据库 · 计算机科学 2013-11-18 Faisal Alkhateeb , Jérôme Euzenat

Factorizing large matrices by QR with column pivoting (QRCP) is substantially more expensive than QR without pivoting, owing to communication costs required for pivoting decisions. In contrast, randomized QRCP (RQRCP) algorithms have proven…

数值分析 · 数学 2018-04-17 Jianwei Xiao , Ming Gu , Julien Langou

We describe a family of recursive methods for the synthesis of qubit permutations on quantum computers with limited qubit connectivity. Two objectives are of importance: circuit size and depth. In each case we combine a scalable heuristic…

量子物理 · 物理学 2023-08-25 Cynthia Chen , Bruno Schmitt , Helena Zhang , Lev S. Bishop , Ali Javadi-Abhari

We study ranked enumeration for Conjunctive Queries (CQs) where the answers are ordered by a given ranking function (e.g., an ORDER BY clause in SQL). We develop "any-k" algorithms, which, without knowing the number k of desired answers,…

数据库 · 计算机科学 2023-10-16 Nikolaos Tziavelis , Wolfgang Gatterbauer , Mirek Riedewald

The article studies query evaluation in parallel constant time in the CRCW PRAM model. While it is well-known that all relational algebra queries can be evaluated in constant time on an appropriate CRCW PRAM model, this article is…

数据库 · 计算机科学 2026-05-14 Jens Keppeler , Thomas Schwentick , Christopher Spinrath

Query evaluation over probabilistic databases is known to be intractable in many cases, even in data complexity, i.e., when the query is fixed. Although some restrictions of the queries [19] and instances [4] have been proposed to lower the…

数据库 · 计算机科学 2019-08-28 Antoine Amarilli , Mikaël Monet , Pierre Senellart

One of the most important and challenging problems in coding theory is to determine the optimal values of the parameters of a linear code and to explicitly construct codes with optimal parameters, or as close to the optimal values as…

信息论 · 计算机科学 2021-06-25 Nuh Aydin , Thomas Guidotti , Peihan Liu

Many well-known combinatorial optimization problems can be stated over the set of acyclic orientations of an undirected graph. For example, acyclic orientations with certain diameter constraints are closely related to the optimal solutions…

离散数学 · 计算机科学 2008-10-15 Rosa M. V. Figueiredo , Valmir C. Barbosa , Nelson Maculan , Cid C. Souza

We present an index structure to boost the evaluation of free-connex acyclic conjunctive queries (fc-ACQs) over relational databases. The main ingredient of the index associated with a given database $D$ is an auxiliary database $D_{col}$.…

数据库 · 计算机科学 2026-01-09 Cristian Riveros , Benjamin Scheidt , Nicole Schweikardt

Approximate dynamic programming (ADP) faces challenges in dealing with constraints in control problems. Model predictive control (MPC) is, in comparison, well-known for its accommodation of constraints and stability guarantees, although its…

系统与控制 · 电气工程与系统科学 2023-04-10 Kanghui He , Shengling Shi , Ton van den Boom , Bart De Schutter

Local sensitivity of a query Q given a database instance D, i.e. how much the output Q(D) changes when a tuple is added to D or deleted from D, has many applications including query analysis, outlier detection, and in differential privacy.…

数据库 · 计算机科学 2020-04-10 Yuchao Tao , Xi He , Ashwin Machanavajjhala , Sudeepa Roy

Certifying feasibility in decision-making, critical in many industries, can be framed as a constraint satisfaction problem. This paper focuses on characterising a subset of parameter values from an a priori set that satisfy constraints on a…

系统与控制 · 电气工程与系统科学 2025-11-14 Max Mowbray , Nilay Shah , Benoît Chachuat

The use of random sampling in decision-making and control has become popular with the ease of access to graphic processing units that can generate and calculate multiple random trajectories for real-time robotic applications. In contrast to…

机器人学 · 计算机科学 2022-03-21 Hyung-Jin Yoon , Chuyuan Tao , Hunmin Kim , Naira Hovakimyan , Petros Voulgaris

The cyclic block coordinate descent-type (CBCD-type) methods, which performs iterative updates for a few coordinates (a block) simultaneously throughout the procedure, have shown remarkable computational performance for solving strongly…

最优化与控制 · 数学 2017-11-23 Xingguo Li , Tuo Zhao , Raman Arora , Han Liu , Mingyi Hong

Even if path planning can be solved using standard techniques from dynamic programming and control, the problem can also be approached using probabilistic inference. The algorithms that emerge using the latter framework bear some appealing…

We introduce 'project-connex' tree-width as a measure of tractability for counting and aggregate conjunctive queries over semirings with 'group-by' projection (also known as 'AJAR' or 'FAQ' queries). This elementary measure allows to obtain…

数据库 · 计算机科学 2025-07-21 Diego Figueira , Cibele Freire

Directed graphs have been widely used in Community Question Answering services (CQAs) to model asymmetric relationships among different types of nodes in CQA graphs, e.g., question, answer, user. Asymmetric transitivity is an essential…

We consider coordinate descent methods on convex quadratic problems, in which exact line searches are performed at each iteration. (This algorithm is identical to Gauss-Seidel on the equivalent symmetric positive definite linear system.) We…

最优化与控制 · 数学 2020-01-14 Stephen J. Wright , Ching-Pei Lee