English
Related papers

Related papers: Unification and Matching on Compressed Terms

200 papers

Semantic Textual Relatedness (STR) captures nuanced relationships between texts that extend beyond superficial lexical similarity. In this study, we investigate STR in the context of job title matching - a key challenge in resume…

Computation and Language · Computer Science 2025-09-12 Vadim Zadykian , Bruno Andrade , Haithem Afli

The space and run-time requirements of broad coverage grammars appear for many applications unreasonably large in relation to the relative simplicity of the task at hand. On the other hand, handcrafted development of application-dependent…

cmp-lg · Computer Science 2007-05-23 Renate Henschel , John A. Bateman

This paper argues that the operations of a 'Universal Turing Machine' (UTM) and equivalent mechanisms such as the 'Post Canonical System' (PCS) - which are widely accepted as definitions of the concept of `computing' - may be interpreted as…

Artificial Intelligence · Computer Science 2007-05-23 J Gerard Wolff

Natural language generation (NLG) spans a broad range of tasks, each of which serves for specific objectives and desires different properties of generated text. The complexity makes automatic evaluation of NLG particularly challenging.…

Computation and Language · Computer Science 2022-01-25 Mingkai Deng , Bowen Tan , Zhengzhong Liu , Eric P. Xing , Zhiting Hu

In the matching interdiction problem, we are given an undirected graph with weights and interdiction costs on the edges and seek to remove a subset of the edges constrained to some budget, such that the weight of a maximum weight matching…

Discrete Mathematics · Computer Science 2008-04-23 Rico Zenklusen

We consider the (one-dimensional) array counterpart of contextual as well as insertion and deletion string grammars and consider the operations of array insertion and deletion in array grammars. First we show that the emptiness problem for…

Formal Languages and Automata Theory · Computer Science 2013-09-06 Rudolf Freund , Sergiu Ivanov , Marion Oswald , K. G. Subramanian

Graph-matching metrics such as Smatch are the de facto standard for evaluating neural semantic parsers, yet they capture surface overlap rather than logical equivalence. We reassess evaluation by pairing graph-matching with automated…

Computation and Language · Computer Science 2025-10-14 Hayate Funakura , Hyunsoo Kim , Koji Mineshima

Finding an optimal word representation algorithm is particularly important in terms of domain specific data, as the same word can have different meanings and hence, different representations depending on the domain and context. While…

Computation and Language · Computer Science 2025-10-09 Nouman Ahmed , Ronin Wu , Victor Botev

Text matching is a fundamental technique in both information retrieval and natural language processing. Text matching tasks share the same paradigm that determines the relationship between two given texts. The relationships vary from task…

Information Retrieval · Computer Science 2022-08-23 Shicheng Xu , Liang Pang , Huawei Shen , Xueqi Cheng

The similarity of graph structures, such as Meaning Representations (MRs), is often assessed via structural matching algorithms, such as Smatch (Cai and Knight, 2013). However, Smatch involves a combinatorial problem that suffers from…

Computation and Language · Computer Science 2023-06-02 Juri Opitz , Philipp Meier , Anette Frank

The notion of directed treewidth was introduced by Johnson, Robertson, Seymour and Thomas [Journal of Combinatorial Theory, Series B, Vol 82, 2001] as a first step towards an algorithmic metatheory for digraphs. They showed that some…

Data Structures and Algorithms · Computer Science 2015-10-09 Mateus de Oliveira Oliveira

Word embedding maps words into a low-dimensional continuous embedding space by exploiting the local word collocation patterns in a small context window. On the other hand, topic modeling maps documents onto a low-dimensional topic space, by…

Computation and Language · Computer Science 2016-08-09 Shaohua Li , Tat-Seng Chua , Jun Zhu , Chunyan Miao

Domain generalization (DG) enables generalizing a learning machine from multiple seen source domains to an unseen target one. The general objective of DG methods is to learn semantic representations that are independent of domain labels,…

Computer Vision and Pattern Recognition · Computer Science 2022-10-17 Chaoqi Chen , Luyao Tang , Feng Liu , Gangming Zhao , Yue Huang , Yizhou Yu

Prediction suffix trees (PST) provide an effective tool for sequence modelling and prediction. Current prediction techniques for PSTs rely on exact matching between the suffix of the current sequence and the previously observed sequence. We…

Machine Learning · Computer Science 2018-08-08 Dongwoo Kim , Christian Walder

Saturation-style automated theorem provers (ATPs) based on the given clause procedure are today the strongest general reasoners for classical first-order logic. The clause selection heuristics in such systems are, however, often evaluating…

Logic in Computer Science · Computer Science 2021-07-22 Karel Chvalovský , Jan Jakubův , Miroslav Olšák , Josef Urban

We present a unified polynomial-time approximation scheme (PTAS) for the prize collecting traveling salesman problem (PCTSP) and the prize collecting Steiner tree problem (PCSTP) in doubling metrics. Given a metric space and a penalty…

Data Structures and Algorithms · Computer Science 2018-06-22 T-H. Hubert Chan , Haotian Jiang , Shaofeng H. -C. Jiang

Effective token compression remains a critical challenge for scaling models to handle increasingly complex and diverse datasets. A novel mechanism based on contextual reinforcement is introduced, dynamically adjusting token importance…

Computation and Language · Computer Science 2025-08-11 Naderdel Piero , Zacharias Cromwell , Nathaniel Wainwright , Matthias Nethercott

Dynamic programming is widely used for exact computations based on tree decompositions of graphs. However, the space complexity is usually exponential in the treewidth. We study the problem of designing efficient dynamic programming…

Data Structures and Algorithms · Computer Science 2014-06-16 Martin Furer , Huiwen Yu

Generative information retrieval, encompassing two major tasks of Generative Document Retrieval (GDR) and Grounded Answer Generation (GAR), has gained significant attention in the area of information retrieval and natural language…

Information Retrieval · Computer Science 2023-12-19 Xiaoxi Li , Yujia Zhou , Zhicheng Dou

This paper is concerned with polynomial optimization problems. We show how to exploit term (or monomial) sparsity of the input polynomials to obtain a new converging hierarchy of semidefinite programming relaxations. The novelty (and…

Optimization and Control · Mathematics 2020-05-14 Jie Wang , Victor Magron , Jean-Bernard Lasserre