中文
相关论文

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

200 篇论文

The challenge of answering graph queries over incomplete knowledge graphs is gaining significant attention in the machine learning community. Neuro-symbolic models have emerged as a promising approach, combining good performance with high…

In recent years it has become popular to study dynamic problems in a sensitivity setting: Instead of allowing for an arbitrary sequence of updates, the sensitivity model only allows to apply batch updates of small size to the original input…

数据结构与算法 · 计算机科学 2017-03-07 Monika Henzinger , Andrea Lincoln , Stefan Neumann , Virginia Vassilevska Williams

Normalizing flows have emerged as a powerful brand of generative models, as they not only allow for efficient sampling of complicated target distributions but also deliver density estimation by construction. We propose here an in-depth…

机器学习 · 统计学 2025-08-05 Andrea Coccaro , Marco Letizia , Humberto Reyes-Gonzalez , Riccardo Torre

The iteration complexity of the block-coordinate descent (BCD) type algorithm has been under extensive investigation. It was recently shown that for convex problems the classical cyclic BCGD (block coordinate gradient descent) achieves an…

最优化与控制 · 数学 2015-12-16 Ruoyu Sun , Mingyi Hong

Query response time often influences user experience in the real world. However, it possibly takes more time to answer a query with its all exact solutions, especially when it contains the OPT operations since the OPT operation is the least…

数据库 · 计算机科学 2016-03-23 Zhenyu Song , Zhiyong Feng , Xiaowang Zhang , Xin Wang , Guozheng Rao

As Resource Description Framework (RDF) is becoming a popular data modelling standard, the challenges of efficient processing of Basic Graph Pattern (BGP) SPARQL queries (a.k.a. SQL inner-joins) have been a focus of the research community…

数据库 · 计算机科学 2018-05-24 Medha Atre

Variational quantum compiling (VQC) algorithms aim to approximate deep quantum circuits with shallow parameterized ansatzes, making them more suitable for NISQ hardware. In this article a variant of VQC named the recursive variational…

量子物理 · 物理学 2025-03-12 Stian Bilek , Kristian Wold

We study algorithmic questions for concurrent systems where the transitions are labeled from a complete, closed semiring, and path properties are algebraic with semiring operations. The algebraic path properties can model dataflow analysis…

Complex information needs may involve set-compositional queries using conjunction, disjunction, and exclusion, yet it remains unclear whether current retrieval paradigms genuinely satisfy such constraints or exploit `semantic shortcuts'. We…

计算与语言 · 计算机科学 2026-05-07 Vincent Degenhart , Dewi Timman , Arjen P. de Vries , Faegheh Hasibi , Mohanna Hoveyda

We present APQ for efficient deep learning inference on resource-constrained hardware. Unlike previous methods that separately search the neural architecture, pruning policy, and quantization policy, we optimize them in a joint manner. To…

机器学习 · 计算机科学 2020-06-16 Tianzhe Wang , Kuan Wang , Han Cai , Ji Lin , Zhijian Liu , Song Han

Asymptotically tight lower bounds are derived for the Input/Output (I/O) complexity of a class of dynamic programming algorithms including matrix chain multiplication, optimal polygon triangulation, and the construction of optimal binary…

数据结构与算法 · 计算机科学 2024-10-29 Lorenzo De Stefani , Vedant Gupta

Neural link predictors are immensely useful for identifying missing edges in large scale Knowledge Graphs. However, it is still not clear how to use these models for answering more complex queries that arise in a number of domains, such as…

机器学习 · 计算机科学 2021-03-19 Erik Arakelyan , Daniel Daza , Pasquale Minervini , Michael Cochez

Constraints are powerful declarative constructs that allow users to conveniently restrict variable values that potentially range over an infinite domain. In this paper, we propose a constraint path query language over property graphs, which…

数据库 · 计算机科学 2025-12-02 Heyang Li , Anthony Widjaja Lin , Domagoj Vrgoč

Quantum algorithms are getting extremely popular due to their potential to significantly outperform classical algorithms. Yet, applying quantum algorithms to optimization problems meets challenges related to the efficiency of quantum…

We study the enumeration complexity of Unions of Conjunctive Queries(UCQs). We aim to identify the UCQs that are tractable in the sense that the answer tuples can be enumerated with a linear preprocessing phase and a constant delay between…

数据库 · 计算机科学 2021-05-07 Nofar Carmeli , Markus Kröll

Recursive Neural Networks (RvNNs), which compose sequences according to their underlying hierarchical syntactic structure, have performed well in several natural language processing tasks compared to similar models without structural…

计算与语言 · 计算机科学 2021-06-14 Jishnu Ray Chowdhury , Cornelia Caragea

We study the complexity and expressive power of conjunctive queries over unranked labeled trees represented using a variety of structure relations such as ``child'', ``descendant'', and ``following'' as well as unary relations for node…

数据库 · 计算机科学 2007-05-23 Georg Gottlob , Christoph Koch , Klaus U. Schulz

We consider the problem of translating between irreducible closed sets and implicational bases in closure systems. To date, the complexity status of this problem is widely open, and it is further known to generalize the notorious hypergraph…

数据结构与算法 · 计算机科学 2025-11-04 Oscar Defrain , Arthur Ohana , Simon Vilmin

An uncertain database is defined as a relational database in which primary keys need not be satisfied. A repair (or possible world) of such database is obtained by selecting a maximal number of tuples without ever selecting two distinct…

数据库 · 计算机科学 2013-01-08 Jef Wijsen

Range minimum queries are frequently used in string processing and database applications including biological sequence analysis, document retrieval, and web search. Hence, various data structures have been proposed for improving their…

数据库 · 计算机科学 2026-04-03 Lara Kreis , Justus Henneberg , Valentin Henkys , Felix Schuhknecht , Bertil Schmidt