English
Related papers

Related papers: Puzzling over Subsequence-Query Extensions: Disjun…

200 papers

An occurrence of a classical pattern p in a permutation \pi is a subsequence of \pi whose letters are in the same relative order (of size) as those in p. In an occurrence of a generalized pattern, some letters of that subsequence may be…

Combinatorics · Mathematics 2008-05-31 Einar Steingrimsson

We consider the problems of finding and determining certain query answers and of determining containment between queries; each problem is formulated in presence of materialized views and dependencies under the closed-world assumption. We…

Databases · Computer Science 2014-03-21 Rada Chirkova , Ting Yu

In this work, we define the generalized wake-up problem, $GWU(s)$, for a shared memory asynchronous system with $n$ processes. Informally, the problem, which is parametrized by an increasing sequence $s = s_1,\ldots,s_p$, asks that at least…

Data Structures and Algorithms · Computer Science 2022-07-18 Siddhartha Visveswara Jayanti

The chase procedure, originally introduced for checking implication of database constraints, and later on used for computing data exchange solutions, has recently become a central algorithmic tool in rule-based ontological reasoning. In…

Databases · Computer Science 2022-04-27 Marco Calautti , Georg Gottlob , Andreas Pieris

Ambiguities in natural language give rise to probability distributions over interpretations. The distributions are often over multiple ambiguous words at a time; a multiplicity which makes them a suitable topic for sheaf-theoretic models of…

Computation and Language · Computer Science 2023-09-01 Kin Ian Lo , Mehrnoosh Sadrzadeh , Shane Mansfield

Sequential pattern mining under constraints is a challenging data mining task. Many efficient ad hoc methods have been developed for mining sequential patterns, but they are all suffering from a lack of genericity. Recent works have…

Artificial Intelligence · Computer Science 2015-06-24 Amina Kemmar , Samir Loudni , Yahia Lebbah , Patrice Boizumault , Thierry Charnois

Borrowing from concepts in expander graphs, we study the expansion properties of real-world, complex networks (e.g. social networks, unstructured peer-to-peer or P2P networks) and the extent to which these properties can be exploited to…

Social and Information Networks · Computer Science 2011-09-05 Arun S. Maiya , Tanya Y. Berger-Wolf

We review some of the recent developments in the construction of $W$-string theories. These are generalisations of ordinary strings in which the two-dimensional ``worldsheet'' theory, instead of being a gauging of the Virasoro algebra, is a…

High Energy Physics - Theory · Physics 2007-05-23 C. N. Pope

Current neural query auto-completion (QAC) systems rely on character-level language models, but they slow down when queries are long. We present how to utilize subword language models for the fast and accurate generation of query completion…

Computation and Language · Computer Science 2019-09-04 Gyuwan Kim

Answering Conjunctive Queries (CQs) and solving Constraint Satisfaction Problems (CSPs) are arguably among the most fundamental tasks in Computer Science. They are classical NP-complete problems. Consequently, the search for tractable…

Databases · Computer Science 2018-12-14 Georg Gottlob , Matthias Lanzinger , Reinhard Pichler

Word sense disambiguation primarily addresses the lexical ambiguity of common words based on a predefined sense inventory. Conversely, proper names are usually considered to denote an ad-hoc real-world referent. Once the reference is…

Computation and Language · Computer Science 2024-01-19 Shu-Kai Hsieh , Yu-Hsiang Tseng , Hsin-Yu Chou , Ching-Wen Yang , Yu-Yun Chang

Probabilistic graphical models (PGMs) are tools for solving complex probabilistic relationships. However, suboptimal PGM structures are primarily used in practice. This dissertation presents three contributions to the PGM literature. The…

Machine Learning · Computer Science 2022-05-27 Simon Streicher

Diffusion models, a family of generative models based on deep learning, have become increasingly prominent in cutting-edge machine learning research. With a distinguished performance in generating samples that resemble the observed data,…

Machine Learning · Computer Science 2023-05-02 Lequan Lin , Zhengkun Li , Ruikun Li , Xuliang Li , Junbin Gao

This paper studies the completeness of conjunctive queries over a partially complete database and the approximation of incomplete queries. Given a query and a set of completeness rules (a special kind of tuple generating dependencies) that…

Databases · Computer Science 2024-07-31 Julien Corman , Werner Nutt , Ognjen Savković

In the preprocessing framework for dealing with uncertain data, one is given a set of regions that one is allowed to preprocess to create some auxiliary structure such that when a realization of these regions is given, consisting of one…

Data Structures and Algorithms · Computer Science 2026-01-28 Maarten Löffler , Benjamin Raichel

We study consistent truncations in the framework of Exceptional Generalised Geometry. We classify the 4-dimensional gauged supergravities that can be obtained as a consistent truncation of 10/11-dimensional supergravity. Any truncation is…

High Energy Physics - Theory · Physics 2025-12-03 Gregoire Josse , Michela Petrini , Martin Pico

Maximally supersymmetric gauge theories have experienced renewed interest due to the AdS/CFT correspondence and its conjectured S-duality. These gauge theories possess a large amount of symmetry and have quasi-integrable properties. We…

High Energy Physics - Theory · Physics 2007-05-23 Gordon Chalmers

Hierarchical models are a powerful tool for high-throughput data with a small to moderate number of replicates, as they allow sharing information across units of information, for example, genes. We propose two such models and show its…

Applications · Statistics 2009-10-09 David Rossell

Dependence logic provides an elegant approach for introducing dependencies between variables into the object language of first-order logic. In [1] generalized quantifiers were introduced in this context. However, a satisfactory account was…

Logic · Mathematics 2024-04-29 Fredrik Engström

To cope with the intractability of answering Conjunctive Queries (CQs) and solving Constraint Satisfaction Problems (CSPs), several notions of hypergraph decompositions have been proposed -- giving rise to different notions of width,…

Databases · Computer Science 2020-09-04 Wolfgang Fischl , Georg Gottlob , Davide Mario Longo , Reinhard Pichler