English
Related papers

Related papers: Semi-interval Comparison Constraints in Query Cont…

200 papers

Open-domain question answering (QA) is an important problem in AI and NLP that is emerging as a bellwether for progress on the generalizability of AI methods and techniques. Much of the progress in open-domain QA systems has been realized…

The quantified constraint satisfaction problem (QCSP) is the problem of deciding, given a structure and a first-order prenex sentence whose quantifier-free part is the conjunction of atoms, whether or not the sentence holds on the…

Logic in Computer Science · Computer Science 2015-03-20 Hubie Chen

The query containment problem is a fundamental algorithmic problem in data management. While this problem is well understood under set semantics, it is by far less understood under bag semantics. In particular, it is a long-standing open…

Databases · Computer Science 2021-07-06 Mahmoud Abo Khamis , Phokion G. Kolaitis , Hung Q. Ngo , Dan Suciu

Value-based reinforcement learning (RL) methods like Q-learning have shown success in a variety of domains. One challenge in applying Q-learning to continuous-action RL problems, however, is the continuous action maximization (max-Q)…

Machine Learning · Computer Science 2020-03-03 Moonkyung Ryu , Yinlam Chow , Ross Anderson , Christian Tjandraatmadja , Craig Boutilier

Parameterized Inapproximability Hypothesis (PIH) is a central question in the field of parameterized complexity. PIH asserts that given as input a 2-CSP on $k$ variables and alphabet size $n$, it is W[1]-hard parameterized by $k$ to…

Computational Complexity · Computer Science 2024-07-15 Karthik C. S. , Euiwoong Lee , Pasin Manurangsi

The last few years have seen an explosion of research on the topic of automated question answering (QA), spanning the communities of information retrieval, natural language processing, and artificial intelligence. This tutorial would cover…

Information Retrieval · Computer Science 2020-08-10 Rishiraj Saha Roy , Avishek Anand

We prove that quantum computation is polynomially equivalent to classical probabilistic computation with an oracle for estimating the value of simple sums, quadratically signed weight enumerators. The problem of estimating these sums can be…

Quantum Physics · Physics 2007-05-23 E. Knill , R. Laflamme

In this paper we consider the congruence equation $q_1 q_2 \equiv c \pmod q$ with $a < q_1 \leq a + q^{1/2+\epsilon}$ and $b < q_2 \leq b + q^{1/2+\epsilon}$ and show that it has solution for almost all $a$ and $b$. Then we apply it to a…

Number Theory · Mathematics 2008-12-09 Tsz Ho Chan

Many problems of industrial interest are NP-complete, and quickly exhaust resources of computational devices with increasing input sizes. Quantum annealers (QA) are physical devices that aim at this class of problems by exploiting quantum…

We show that any submodular minimization (SM) problem defined on a linear constraint set with constraints having up to two variables per inequality, are 2-approximable in polynomial time. If the constraints are monotone (the two variables…

Discrete Mathematics · Computer Science 2017-05-01 Dorit S. Hochbaum

Distribution networks with periodically repeating events often hold great promise to exploit economies of scale. Joint replenishment problems are a fundamental model in inventory management, manufacturing, and logistics that capture these…

Computational Complexity · Computer Science 2020-07-20 Andreas S. Schulz , Claudio Telha

The fast-growing large scale language models are delivering unprecedented performance on almost all natural language processing tasks. However, the effectiveness of large language models are reliant on an exponentially increasing number of…

Computation and Language · Computer Science 2024-07-08 Longwei Zou , Qingyang Wang , Han Zhao , Jiangang Kong , Yi Yang , Yangdong Deng

In this paper, we consider the problem of scheduling jobs on parallel identical machines, where the processing times of jobs are uncertain: only interval bounds of processing times are known. The optimality criterion of a schedule is the…

Data Structures and Algorithms · Computer Science 2016-03-25 Maciej Drwal , Roman Rischke

We show that any boolean function can be evaluated optimally by a quantum query algorithm that alternates a certain fixed, input-independent reflection with a second reflection that coherently queries the input string. Originally introduced…

Quantum Physics · Physics 2011-07-26 Ben W. Reichardt

Query equivalence is investigated for disjunctive aggregate queries with negated subgoals, constants and comparisons. A full characterization of equivalence is given for the aggregation functions count, max, sum, prod, toptwo and parity. A…

Databases · Computer Science 2007-05-23 Sara Cohen , Werner Nutt , Yehoshua Sagiv

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…

Databases · Computer Science 2026-05-14 Jens Keppeler , Thomas Schwentick , Christopher Spinrath

Quality diversity~(QD) is a branch of evolutionary computation that gained increasing interest in recent years. The Map-Elites QD approach defines a feature space, i.e., a partition of the search space, and stores the best solution for each…

Neural and Evolutionary Computing · Computer Science 2023-07-06 Jakob Bossek , Dirk Sudholt

A fitting algorithm for conjunctive queries (CQs) produces, given a set of positively and negatively labeled data examples, a CQ that fits these examples. In general, there may be many non-equivalent fitting CQs and thus the algorithm has…

Databases · Computer Science 2023-12-07 Balder ten Cate , Maurice Funk , Jean Christoph Jung , Carsten Lutz

Fact-centric question answering (QA) often requires access to multiple, heterogeneous, information sources. By jointly considering several sources like a knowledge base (KB), a text collection, and tables from the web, QA systems can…

Information Retrieval · Computer Science 2023-08-22 Philipp Christmann , Rishiraj Saha Roy , Gerhard Weikum

This paper is concerned with the computational complexity of equivalence and minimisation for automata with transition weights in the field Q of rational numbers. We use polynomial identity testing and the Isolation Lemma to obtain…

Formal Languages and Automata Theory · Computer Science 2015-07-01 Stefan Kiefer , Andrzej Murawski , Joel Ouaknine , Bjoern Wachter , James Worrell