中文
相关论文

相关论文: Temiar Reduplication in One-Level Prosodic Morphol…

200 篇论文

Resolution and superposition are common techniques which have seen widespread use with propositional and first-order logic in modern theorem provers. In these cases, resolution proof production is a key feature of such tools; however, the…

计算机科学中的逻辑 · 计算机科学 2018-04-19 Jan Gorzny , Ezequiel Postan , Bruno Woltzenlogel Paleo

Tensor decomposition serves as a powerful primitive in statistics and machine learning, and has numerous applications in problems such as learning latent variable models or mixture of Gaussians. In this paper, we focus on using power…

机器学习 · 计算机科学 2025-03-25 Yuchen Wu , Kangjie Zhou

Common subword tokenization algorithms like BPE and UnigramLM assume that text can be split into meaningful units by concatenative measures alone. This is not true for languages such as Hebrew and Arabic, where morphology is encoded in…

计算与语言 · 计算机科学 2025-06-04 Bar Gazit , Shaltiel Shmidman , Avi Shmidman , Yuval Pinter

In this text we review a few structural properties of matrix models that should at least partly generalize to random tensor models. We review some aspects of the loop equations for matrix models and their algebraic counterpart for tensor…

数学物理 · 物理学 2016-03-08 Stephane Dartois

The aim of this paper is to introduce a novel dictionary learning algorithm for sparse representation of signals defined over combinatorial topological spaces, specifically, regular cell complexes. Leveraging Hodge theory, we embed topology…

信号处理 · 电气工程与系统科学 2025-03-17 Enrico Grimaldi , Claudio Battiloro , Paolo Di Lorenzo

We introduce and study a new complexity function in combinatorics on words, which takes into account the smallest second occurrence time of a factor of an infinite word. We characterize the eventually periodic words and the Sturmian words…

数论 · 数学 2017-08-24 Yann Bugeaud , Dong Han Kim

A novel learnable dictionary encoding layer is proposed in this paper for end-to-end language identification. It is inline with the conventional GMM i-vector approach both theoretically and practically. We imitate the mechanism of…

音频与语音处理 · 电气工程与系统科学 2018-04-03 Weicheng Cai , Zexin Cai , Xiang Zhang , Xiaoqi Wang , Ming Li

Source localization by matched-field processing (MFP) generally involves solving a number of computationally intensive partial differential equations. This paper introduces a technique that mitigates this computational workload by…

信息论 · 计算机科学 2015-05-30 William Mantzel , Justin Romberg , Karim Sabra

In neural Information Retrieval, ongoing research is directed towards improving the first retriever in ranking pipelines. Learning dense embeddings to conduct retrieval using efficient approximate nearest neighbors methods has proven to…

信息检索 · 计算机科学 2021-07-14 Thibault Formal , Benjamin Piwowarski , Stéphane Clinchant

Recursive decoding techniques are considered for Reed-Muller (RM) codes of growing length $n$ and fixed order $r.$ An algorithm is designed that has complexity of order $n\log n$ and corrects most error patterns of weight up to…

信息论 · 计算机科学 2017-03-17 Ilya Dumer

We study aspects of the refining and shifting properties of the 3d MacMahon function $\mathcal{C}_{3}(q) $ used in topological string theory and BKP hierarchy. We derive the explicit expressions of the shifted topological vertex…

高能物理 - 理论 · 物理学 2009-02-10 Lalla Btissam Drissi , Houda Jehjouh , El Hassan Saidi

We define two extensions of the typed linear lambda-calculus that yield minimal Turing-complete systems. The extensions are based on unbounded recursion in one case, and bounded recursion with minimisation in the other. We show that both…

计算机科学中的逻辑 · 计算机科学 2016-11-28 Sandra Alves , Maribel Fernández , Mário Florido , Ian Mackie

We consider a regularization concept for the solution of ill--posed operator equations, where the operator is composed of a continuous and a discontinuous operator. A particular application is level set regularization, where we develop a…

数值分析 · 数学 2020-11-16 F. Frühauf , O. Scherzer , A. Leitao

Shannon's entropy is a definitive lower bound for statistical compression. Unfortunately, no such clear measure exists for the compressibility of repetitive strings. Thus, ad hoc measures are employed to estimate the repetitiveness of…

数据结构与算法 · 计算机科学 2023-11-16 Giulia Bernardini , Gabriele Fici , Paweł Gawrychowski , Solon P. Pissis

This paper provides a geometric characterization of subclasses of the regular languages. We use finite model theory to characterize objects like strings and trees as relational structures. Logical statements meeting certain criteria over…

形式语言与自动机理论 · 计算机科学 2019-08-23 Jonathan Rawski

Unsupervised representation learning methods are widely used for gaining insight into high-dimensional, unstructured, or structured data. In some cases, users may have prior topological knowledge about the data, such as a known cluster…

机器学习 · 计算机科学 2023-11-08 Edith Heiter , Robin Vandaele , Tijl De Bie , Yvan Saeys , Jefrey Lijffijt

This is the first of a series of papers in which we study deep computations (ultracomputations) and deep iterates, formalizing the ideas of "asymptotic limit" of computations and compositional iterates, respectively. In this first paper of…

逻辑 · 数学 2026-01-28 Samson Alva , Eduardo Dueñez , Jose Iovino , Claire Walton

Higher-order tensors appear in various areas of mechanics as well as physics, medicine or earth sciences. As these tensors are highly complex, most are not well understood. Thus, the analysis and the visualization process form a highly…

数学物理 · 物理学 2023-05-04 Anja Barz , Chiara Hergl , Gerik Scheuermann

This review is an extended version of the Seoul ICM 2014 proceedings.It is a short overview of the "topological recursion", a relation appearing in the asymptotic expansion of many integrable systems and in enumerative problems. We recall…

数学物理 · 物理学 2014-12-15 B. Eynard

This work proposes a low complexity nonlinearity model and develops adaptive algorithms over it. The model is based on the decomposable---or rank-one, in tensor language---Volterra kernels. It may also be described as a product of FIR…

系统与控制 · 计算机科学 2016-10-25 Felipe C. Pinheiro , Cassio G. Lopes