中文
相关论文

相关论文: KATKA: A KRAKEN-like tool with $k$ given at query …

200 篇论文

Efficient methods for storing and querying are critical for scaling high-order n-gram language models to large corpora. We propose a language model based on compressed suffix trees, a representation that is highly compact and can be easily…

计算与语言 · 计算机科学 2016-08-17 Ehsan Shareghi , Matthias Petri , Gholamreza Haffari , Trevor Cohn

In phylogenetics, phylogenetic trees are rooted binary trees, whereas phylogenetic networks are rooted arbitrary acyclic digraphs. Edges are directed away from the root and leaves are uniquely labeled with taxa in phylogenetic networks. For…

种群与进化 · 定量生物学 2016-03-30 Andreas DM Gunawan , Bhaskar DasGupta , Louxin Zhang

Initial knowledge regarding group size can be crucial for collective performance. We study this relation in the context of the {\em Ants Nearby Treasure Search (ANTS)} problem \cite{FKLS}, which models natural cooperative foraging behavior…

分布式、并行与集群计算 · 计算机科学 2012-05-22 Ofer Feinerman , Amos Korman

Rational Tracer (Ratracer) is a tool to simplify complicated arithmetic expressions using modular arithmetics and rational function reconstruction, with the main idea of separating the construction of expressions (via tracing, i.e.…

数据分析、统计与概率 · 物理学 2022-11-08 Vitaly Magerya

Although retrieval-augmented generation(RAG) significantly improves generation quality by retrieving external knowledge bases and integrating generated content, it faces computational efficiency bottlenecks, particularly in knowledge…

机器学习 · 计算机科学 2026-02-03 Zihang Li , Yangdong Ruan , Wenjun Liu , Zhengyang Wang , Tong Yang

The $k^2$-tree is a compact data structure designed to efficiently store sparse binary matrices by leveraging both sparsity and clustering of nonzero elements. This representation supports efficiently navigational operations and complex…

数据结构与算法 · 计算机科学 2025-05-19 Gabriel Carmona , Giovanni Manzini

A $k$-universal permutation, or $k$-superpermutation, is a permutation that contains all permutations of length $k$ as patterns. The problem of finding the minimum length of a $k$-superpermutation has recently received significant attention…

组合数学 · 数学 2020-05-19 Colin Defant , Noah Kravitz , Ashwin Sah

We propose a novel method for automatic program synthesis. P-Tree Programming represents the program search space through a single probabilistic prototype tree. From this prototype tree we form program instances which we evaluate on a given…

人工智能 · 计算机科学 2017-07-13 Christian Oesch

In this paper we present a CAT generation algorithm for Dyck paths with a fixed length n. It is the formalization of a method for the exhaustive generation of this kind of paths which can be described by means of two equivalent strategies.…

组合数学 · 数学 2007-05-23 Antonio Bernini , Irene Fanti , Elisabetta Grazzini

In this paper, we address the problem of enumerating all induced subtrees in an input k-degenerate graph, where an induced subtree is an acyclic and connected induced subgraph. A graph G = (V, E) is a k-degenerate graph if for any its…

数据结构与算法 · 计算机科学 2015-10-06 Kunihiro Wasa , Hiroki Arimura , Takeaki Uno

In this note we discuss trees similar to the Calkin-Wilf tree, a binary tree that enumerates all positive rational numbers in a simple way. The original construction of Calkin and Wilf is reformulated in a more algebraic language, and an…

数论 · 数学 2012-01-10 Robert A. Kucharczyk

When Requirements Engineering(RE) models are unreasonably complex, they cannot support efficient decision making. SHORT is a tool to simplify that reasoning by exploiting the "key" decisions within RE models. These "keys" have the property…

软件工程 · 计算机科学 2017-08-23 George Mathew , Tim Menzies , Neil A. Ernst , John Klein

We study a generalization of the recently introduced order-preserving pattern matching, where instead of looking for an exact copy of the pattern, we only require that the relative order between the elements is the same. In our variant, we…

数据结构与算法 · 计算机科学 2014-03-07 Pawel Gawrychowski , Przemyslaw Uznanski

Motivation: Recent advances in single-cell analysis have introduced new computational challenges. Researchers often need to use multiple analysis tools written in different programming languages while managing version conflicts between…

基因组学 · 定量生物学 2025-08-12 Ryuichiro Nakato , Luis Augusto Eijy Nagai

In the literature on Kleene algebra (KA), a number of variants have been proposed such as Kleene algebra with tests, commutative KA, bi-KA, and concurrent KA. The equational theories of some of these structures have then been studied in the…

计算机科学中的逻辑 · 计算机科学 2026-05-19 Lukas Mulder , Damien Pous , Jana Wagemaker

A graph $G$ is a $k$-leaf power if there exists a tree $T$ whose leaf set is $V(G)$, and such that $uv \in E(G)$ if and only if the distance between $u$ and $v$ in $T$ is at most $k$. The graph classes of $k$-leaf powers have several…

数据结构与算法 · 计算机科学 2021-11-01 Manuel Lafond

A variant of Turing machines is introduced where the tape is replaced by a single tree which can be manipulated in a style akin to purely functional programming. This yields two benefits: first, the extra structure on the tape can be…

计算机科学中的逻辑 · 计算机科学 2015-07-17 Arnaud Spiwack

The concept of $k$-compatibility measures how many phylogenetic trees it would take to display all splits in a given set. A set of trees that display every single possible split is termed a \textit{universal tree set}. In this note, we find…

种群与进化 · 定量生物学 2021-04-14 Michael Hendriksen , Nils Kapust

We present TreeClone, a latent feature allocation model to reconstruct tumor subclones subject to phylogenetic evolution that mimics tumor evolution. Similar to most current methods, we consider data from next-generation sequencing of tumor…

应用统计 · 统计学 2017-10-26 Tianjian Zhou , Subhajit Sengupta , Peter Mueller , Yuan Ji

Quantum computing is a popular topic in computer science, which has recently attracted many studies in various areas such as machine learning and network. However, the topic of quantum data structures seems neglected. There is an open…

数据库 · 计算机科学 2024-06-03 Hao Liu , Xiaotian You , Raymond Chi-Wing Wong