English
Related papers

Related papers: Algorithms for Producing and Ordering Lexical and …

200 papers

In this paper, we define an ordering relation for a set of complex numbers, and research the properties and theorems of the ordering, solve some simple complex inequalities with the ordering.

General Mathematics · Mathematics 2010-03-26 Sun Daochun , Gu Zhendong , Liu Weiqun , Yue Chao

How do neural networks trained over sequences acquire the ability to perform structured operations, such as arithmetic, geometric, and algorithmic computation? To gain insight into this question, we introduce the sequential group…

Machine Learning · Computer Science 2026-02-04 Giovanni Luca Marchetti , Daniel Kunin , Adele Myers , Francisco Acosta , Nina Miolane

We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be…

Logic in Computer Science · Computer Science 2022-06-22 Tim Lyon , Jonas Karge

We present a new efficient method for approximate search in electronic lexica. Given an input string (the pattern) and a similarity threshold, the algorithm retrieves all entries of the lexicon that are sufficiently similar to the pattern.…

Computation and Language · Computer Science 2015-12-04 Stefan Gerdjikov , Stoyan Mihov , Petar Mitankin , Klaus U. Schulz

A linear time algorithm to find a set of nearest elements in a mesh.

Data Structures and Algorithms · Computer Science 2011-10-04 Gleb Novichkov

The impressive performance of neural networks on natural language processing tasks attributes to their ability to model complicated word and phrase compositions. To explain how the model handles semantic compositions, we study hierarchical…

Computation and Language · Computer Science 2020-06-16 Xisen Jin , Zhongyu Wei , Junyi Du , Xiangyang Xue , Xiang Ren

In this paper we describe an algorithm for aligning sentences with their translations in a bilingual corpus using lexical information of the languages. Existing efficient algorithms ignore word identities and consider only the sentence…

Computation and Language · Computer Science 2007-05-23 Akshar Bharati , V. Sriram , A. Vamshi Krishna , Rajeev Sangal , S. M. Bendre

Recently, concatenating multiple keyphrases as a target sequence has been proposed as a new learning paradigm for keyphrase generation. Existing studies concatenate target keyphrases in different orders but no study has examined the effects…

Computation and Language · Computer Science 2022-03-01 Rui Meng , Xingdi Yuan , Tong Wang , Peter Brusilovsky , Adam Trischler , Daqing He

We present an algorithm that acquires words (pairings of phonological forms and semantic representations) from larger utterances of unsegmented phoneme sequences and semantic representations. The algorithm maintains from utterance to…

cmp-lg · Computer Science 2008-02-03 Carl de Marcken

We present a first-order theory of sequences with integer elements, Presburger arithmetic, and regular constraints, which can model significant properties of data structures such as arrays and lists. We give a decision procedure for the…

Logic in Computer Science · Computer Science 2013-08-14 Carlo A. Furia

A prefix grammar is a context-free grammar whose nonterminals generate prefix-free languages. A prefix grammar $G$ is an ordinal grammar if the language $L(G)$ is well-ordered with respect to the lexicographic ordering. It is known that…

Formal Languages and Automata Theory · Computer Science 2019-04-25 Kitti Gelle , Szabolcs Ivan

Sequence comparison is a prerequisite to virtually all comparative genomic analyses. It is often realised by sequence alignment techniques, which are computationally expensive. This has led to increased research into alignment-free…

Data Structures and Algorithms · Computer Science 2018-06-08 Panagiotis Charalampopoulos , Maxime Crochemore , Gabriele Fici , Robert Mercas , Solon P. Pissis

A sound and complete algorithm for nominal unification of higher-order expressions with a recursive let is described, and shown to run in non-deterministic polynomial time. We also explore specializations like nominal letrec-matching for…

Programming Languages · Computer Science 2023-03-14 Manfred Schmidt-Schauß , Temur Kutsia , Jordi Levy , Mateu Villaret

In this paper we introduce a method to detect words or phrases in a given sequence of alphabets without knowing the lexicon. Our linear time unsupervised algorithm relies entirely on statistical relationships among alphabets in the input…

Computation and Language · Computer Science 2013-12-31 Tamal Chowdhury , Rabindra Rakshit , Arko Banerjee

Traces and their extension called combined traces (comtraces) are two formal models used in the analysis and verification of concurrent systems. Both models are based on concepts originating in the theory of formal languages, and they are…

Logic in Computer Science · Computer Science 2015-07-01 Lukasz Mikulski

Divide-and-conquer functions satisfy equations in F(z),F(z^2),F(z^4)... Their generated sequences are mainly used in computer science, and they were analyzed pragmatically, that is, now and then a sequence was picked out for scrutiny. By…

Combinatorics · Mathematics 2007-05-23 Ralf Stephan

Alignments, i.e., position-wise comparisons of two or more strings or ordered lists are of utmost practical importance in computational biology and a host of other fields, including historical linguistics and emerging areas of research in…

Combinatorics · Mathematics 2018-10-19 Sarah J. Berkemer , Christian Höner zu Siederdissen , Peter F. Stadler

Ordinal regression refers to classifying object instances into ordinal categories. It has been widely studied in many scenarios, such as medical disease grading, movie rating, etc. Known methods focused only on learning inter-class ordinal…

Artificial Intelligence · Computer Science 2023-07-24 Jinhong Wang , Yi Cheng , Jintai Chen , Tingting Chen , Danny Chen , Jian Wu

Nonlinear complexity is an important measure for assessing the randomness of sequences. In this paper we investigate how circular shifts affect the nonlinear complexities of finite-length binary sequences and then reveal a more explicit…

Information Theory · Computer Science 2024-04-26 Qin Yuan , Chunlei Li , Xiangyong Zeng , Tor Helleseth , Debiao He

Generating logical form equivalents of human language is a fresh way to employ neural architectures where long short-term memory effectively captures dependencies in both encoder and decoder units. The logical form of the sequence usually…

Machine Learning · Computer Science 2018-07-20 Javid Dadashkarimi , Sekhar Tatikonda