English
Related papers

Related papers: The Complexity of Aggregates over Extractions by R…

200 papers

The present paper investigates the dynamic complexity of document spanners, a formal framework for information extraction introduced by Fagin, Kimelfeld, Reiss, and Vansummeren (JACM 2015). We first look at the class of regular spanners and…

Logic in Computer Science · Computer Science 2020-01-10 Dominik D. Freydenberger , Sam M. Thompson

Multi-hop question answering is a challenging task with distinct industrial relevance, and Retrieval-Augmented Generation (RAG) methods based on large language models (LLMs) have become a popular approach to tackle this task. Owing to the…

Computation and Language · Computer Science 2025-01-31 Zhouyu Jiang , Mengshu Sun , Lei Liang , Zhiqiang Zhang

We consider automatically identifying the defined term within a mathematical definition from the text of an academic article. Inspired by the development of transformer-based natural language processing applications, we pose the problem as…

Artificial Intelligence · Computer Science 2023-11-22 Shufan Jiang , Pierre Senellart

We introduce the class CXRPQ of conjunctive xregex path queries, which are obtained from conjunctive regular path queries (CRPQs) by adding string variables (also called backreferences) as found in practical implementations of regular…

Formal Languages and Automata Theory · Computer Science 2019-12-20 Markus L. Schmid

We present an empirical study on methods for span finding, the selection of consecutive tokens in text for some downstream tasks. We focus on approaches that can be employed in training end-to-end information extraction systems, and find…

Computation and Language · Computer Science 2022-10-17 Weiwei Gu , Boyuan Zheng , Yunmo Chen , Tongfei Chen , Benjamin Van Durme

Retrieval-augmented generation supports language models to strengthen their factual groundings by providing external contexts. However, language models often face challenges when given extensive information, diminishing their effectiveness…

Computation and Language · Computer Science 2024-10-15 Chanwoong Yoon , Taewhoo Lee , Hyeon Hwang , Minbyul Jeong , Jaewoo Kang

Many new database application domains such as experimental sciences and medicine are characterized by large sequences as their main form of data. Using approximate representation can significantly reduce the required storage and search…

Databases · Computer Science 2019-04-22 Hagit Shatkay , Stanley B. Zdonik

Text analytics has become an important part of business intelligence as enterprises increasingly seek to extract insights for decision making from text data sets. Processing large text data sets can be computationally expensive, however,…

Databases · Computer Science 2020-01-14 Guangyan Hu , Yongfeng Zhang , Sandro Rigo , Thu D. Nguyen

Unlike polynomials, rational functions can represent functions having poles or branch cuts with root-exponential convergence and no Runge phenomenon. Recent developments of the AAA and greedy Thiele algorithms have sparked renewed interest…

Numerical Analysis · Mathematics 2025-12-09 Tobin A. Driscoll

Under categorial grammars that have powerful rules like composition, a simple n-word sentence can have exponentially many parses. Generating all parses is inefficient and obscures whatever true semantic ambiguities are in the input. This…

cmp-lg · Computer Science 2008-02-03 Jason Eisner

Constraints over finite sequences of variables are ubiquitous in sequencing and timetabling. Moreover, the wide variety of such constraints in practical applications led to general modelling techniques and generic propagation algorithms,…

Artificial Intelligence · Computer Science 2013-09-30 Nicolas Beldiceanu , Pierre Flener , Justin Pearson , Pascal Van Hentenryck

We develop a class of algebraic interpretations for many-sorted and higher-order term rewriting systems that takes type information into account. Specifically, base-type terms are mapped to \emph{tuples} of natural numbers and higher-order…

Symbolic Computation · Computer Science 2021-05-05 Deivid Vale , Cynthia Kop

Characterizing hybrid ASP solving in a generic way is difficult since one needs to abstract from specific theories. Inspired by lazy SMT solving, this is usually addressed by treating theory atoms as opaque. Unlike this, we propose a…

Logic in Computer Science · Computer Science 2020-03-16 Pedro Cabalar , Jorge Fandinno , Torsten Schaub , Philipp Wanko

Regular expressions constitute a fundamental notion in formal language theory and are frequently used in computer science to define search patterns. A classic algorithm for these problems constructs and simulates a non-deterministic finite…

Computational Complexity · Computer Science 2016-09-28 Arturs Backurs , Piotr Indyk

Recently, there has been a lot of effort to represent words in continuous vector spaces. Those representations have been shown to capture both semantic and syntactic information about words. However, distributed representations of phrases…

Computation and Language · Computer Science 2015-06-19 Rémi Lebret , Ronan Collobert

Relation extraction (RE) has achieved remarkable progress with the help of pre-trained language models. However, existing RE models are usually incapable of handling two situations: implicit expressions and long-tail relation classes,…

Computation and Language · Computer Science 2023-10-30 Pawan Kumar Rajpoot , Ankur Parikh

Aggregates are among the most frequently used linguistic extensions of answer set programming. The result of an aggregation may introduce new constants during the instantiation of the input program, a feature known as value invention. When…

Logic in Computer Science · Computer Science 2018-04-24 Mario Alviano , Carmine Dodaro , Marco Maratea

A deep approximation is an approximating function defined by composing more than one layer of simple functions. We study deep approximations of functions of one variable using layers consisting of low-degree polynomials or simple conformal…

Numerical Analysis · Mathematics 2025-04-25 Kingsley Yeon

Circuit representations are becoming the lingua franca to express and reason about tractable generative and discriminative models. In this paper, we show how complex inference scenarios for these models that commonly arise in machine…

Machine Learning · Statistics 2021-02-12 Antonio Vergari , YooJung Choi , Anji Liu , Stefano Teso , Guy Van den Broeck

We present an algorithm for searching regular expression matches in compressed text. The algorithm reports the number of matching lines in the uncompressed text in time linear in the size of its compressed version. We define efficient data…

Formal Languages and Automata Theory · Computer Science 2019-01-17 Pierre Ganty , Pedro Valero
‹ Prev 1 8 9 10 Next ›