中文
相关论文

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

200 篇论文

Retrieval-augmented generation (RAG) has strong potential for producing accurate and factual outputs by combining language models (LMs) with evidence retrieved from large text corpora. However, current pipelines are limited by static…

信息检索 · 计算机科学 2026-02-27 Xuechen Zhang , Koustava Goswami , Samet Oymak , Jiasi Chen , Nedim Lipka

We present efficient algorithms for Quantile Join Queries, abbreviated as %JQ. A %JQ asks for the answer at a specified relative position (e.g., 50% for the median) under some ordering over the answers to a Join Query (JQ). Our goal is to…

数据库 · 计算机科学 2023-05-29 Nikolaos Tziavelis , Nofar Carmeli , Wolfgang Gatterbauer , Benny Kimelfeld , Mirek Riedewald

As data are increasingly modeled as graphs for expressing complex relationships, the tree pattern query on graph-structured data becomes an important type of queries in real-world applications. Most practical query languages, such as XQuery…

数据库 · 计算机科学 2015-03-19 Qiang Zeng , Xiaorui Jiang , Hai Zhuge

The formalism of RPQs (regular path queries) is an important building block of most query languages for graph databases. RPQs are generally evaluated under homomorphism semantics; in particular only the endpoints of the matched walks are…

数据库 · 计算机科学 2022-11-28 Claire David , Victor Marsault , Nadime Francis

Dense retrievers enhance retrieval by encoding queries and documents into continuous vectors, but they often struggle with reasoning-intensive queries. Although Large Language Models (LLMs) can reformulate queries to capture complex…

信息检索 · 计算机科学 2025-10-29 Yichi Zhang , Jun Bai , Zhixin Cai , Shuhan Qin , Zhuofan Chen , Jinghua Guan , Wenge Rong

We propose a penalized nonparametric approach to estimating the quantile regression process (QRP) in a nonseparable model using rectifier quadratic unit (ReQU) activated deep neural networks and introduce a novel penalty function to enforce…

机器学习 · 统计学 2022-07-22 Guohao Shen , Yuling Jiao , Yuanyuan Lin , Joel L. Horowitz , Jian Huang

While extensive research on query evaluation has achieved consistent improvements in the time complexity of algorithms, the space complexity of query evaluation has been largely ignored. This is a particular challenge in settings with…

数据库 · 计算机科学 2025-09-29 Kyle Deeds , Timo Camillo Merkl , Reinhard Pichler , Dan Suciu

The success of product quantization (PQ) for fast nearest neighbor search depends on the exponentially reduced complexities of both storage and computation with respect to the codebook size. Recent efforts have been focused on employing…

计算机视觉与模式识别 · 计算机科学 2015-12-23 Jiangbo Yuan , Xiuwen Liu

Exact inference in complex probabilistic models often incurs prohibitive computational costs. This challenge is particularly acute for autonomous agents in dynamic environments that require frequent, real-time belief updates. Existing…

人工智能 · 计算机科学 2026-02-10 Simon Kohaut , Benedict Flade , Julian Eggert , Kristian Kersting , Devendra Singh Dhami

Due to the superiority in similarity computation and database storage for large-scale multiple modalities data, cross-modal hashing methods have attracted extensive attention in similarity retrieval across the heterogeneous modalities.…

信息检索 · 计算机科学 2020-01-15 Lu Wang , Jie Yang

Deep Q Network (DQN) has several limitations when applied in planning a path in environment with a number of dilemmas according to our experiment. The reward function may be hard to model, and successful experience transitions are difficult…

机器人学 · 计算机科学 2021-07-26 Fei Zhang , Chaochen Gu , Feng Yang

Knowledge Graph Question Answering (KGQA) has shown promise for grounded and interpretable reasoning, yet existing approaches often fail to provide reliable coverage guarantees over retrieved answers. While Conformal Prediction (CP) offers…

计算与语言 · 计算机科学 2026-05-11 Shuhang Lin , Chuhao Zhou , Xiao Lin , Zihan Dong , Kuan Lu , Zhencan Peng , Jie Yin , Dimitris N. Metaxas

Imaginary Time Evolution (QITE) approximates this evolution on quantum hardware but suffers from high circuit depth and numerous measurements. In this work we introduce Adaptive-time Compressed QITE (ACQ), a novel algorithm that reduces…

Recursive Neural Networks are non-linear adaptive models that are able to learn deep structured information. However, these models have not yet been broadly accepted. This fact is mainly due to its inherent complexity. In particular, not…

神经与进化计算 · 计算机科学 2009-11-18 Alejandro Chinea

Max Restricted Path Consistency (maxRPC) is a local consistency for binary constraints that can achieve considerably stronger pruning than arc consistency. However, existing maxRRC algorithms suffer from overheads and redundancies as they…

人工智能 · 计算机科学 2010-09-01 Thanasis Balafoutis , Anastasia Paparrizou , Kostas Stergiou , Toby Walsh

Regular expressions with capture variables, also known as "regex formulas," extract relations of spans (interval positions) from text. These relations can be further manipulated via Relational Algebra as studied in the context of document…

数据库 · 计算机科学 2017-03-31 Dominik D. Freydenberger , Benny Kimelfeld , Liat Peterfreund

Predictive coding has emerged as an influential normative model of neural computation, with numerous extensions and applications. As such, much effort has been put into mapping PC faithfully onto the cortex, but there are issues that remain…

神经元与认知 · 定量生物学 2023-03-07 Siavash Golkar , Tiberiu Tesileanu , Yanis Bahroun , Anirvan M. Sengupta , Dmitri B. Chklovskii

A conjunctive query (CQ) is semantically acyclic if it is equivalent to an acyclic one. Semantic acyclicity has been studied in the constraint-free case, and deciding whether a query enjoys this property is NP-complete. However, in case the…

数据库 · 计算机科学 2016-06-06 Pablo Barcelo , Georg Gottlob , Andreas Pieris

Intersection joins over interval data are relevant in spatial and temporal data settings. A set of intervals join if their intersection is non-empty. In case of point intervals, the intersection join becomes the standard equality join. We…

数据库 · 计算机科学 2022-04-15 Mahmoud Abo Khamis , George Chichirim , Antonia Kormpa , Dan Olteanu

We propose a simple calculus for processing data streams (infinite flows of data series), represented by finite sets of equations built on stream operators. Furthermore, functions defining streams are regularly corecursive, that is, cyclic…

编程语言 · 计算机科学 2021-08-03 Davide Ancona , Pietro Barbieri , Elena Zucca