中文
相关论文

相关论文: Using Tree Automata and Regular Expressions to Man…

200 篇论文

Data comes in many forms. From a shallow perspective, they can be viewed as being either in structured (e.g., as a relation, as key-value pairs) or unstructured (e.g., text, image) formats. So far, machines have been fairly good at…

计算与语言 · 计算机科学 2026-03-31 Md Ataur Rahman , Dimitris Sacharidis , Oscar Romero , Sergi Nadal

The focus of this paper is the analysis of real-time systems with recursion, through the development of good theoretical techniques which are implementable. Time is modeled using clock variables, and recursion using stacks. Our technique…

形式语言与自动机理论 · 计算机科学 2017-07-11 S. Akshay , Paul Gastin , Shankara Narayanan Krishna , Ilias Sarkar

We study alternating register automata on data words and data trees in relation to logics. A data word (resp. data tree) is a word (resp. tree) whose every position carries a label from a finite alphabet and a data value from an infinite…

数据库 · 计算机科学 2015-07-01 Diego Figueira

This paper presents the main features of a system that aims to transform regular expressions into shorter equivalent expressions. The system is also capable of computing other operations useful for simplification, such as checking the…

符号计算 · 计算机科学 2023-07-14 Baudouin Le Charlier

Early in training, LMs can behave like n-gram models, but eventually they often learn tree-based syntactic rules and generalize hierarchically out of distribution (OOD). We study this shift using controlled grammar-learning tasks: question…

机器学习 · 计算机科学 2025-09-30 Tian Qin , Naomi Saphra , David Alvarez-Melis

Tree-based data structures are ubiquitous across applications. Therefore, a multitude of different tree implementations exist. However, while these implementations are diverse, they share a tree structure as the underlying data structure.…

硬件体系结构 · 计算机科学 2025-01-30 Daniel Biebert , Christian Hakert , Jian-Jia Chen

We describe here a simple application of rational trees to the implementation of an interpreter for a procedural language written in a logic programming language. This is possible in languages designed to support rational trees (such as…

数据结构与算法 · 计算机科学 2007-05-23 Manuel Carro

This paper describes the most efficient way to manage operations on ranges of elements within an ordered set. The goal is to improve existing solutions, by optimizing the average-case time complexity and getting rid of heavy multiplicative…

数据结构与算法 · 计算机科学 2021-10-18 Alberto Boffi

While learning models are typically studied for inputs in the form of a fixed dimensional feature vector, real world data is rarely found in this form. In order to meet the basic requirement of traditional learning models, structural data…

机器学习 · 计算机科学 2020-02-14 William Woof , Ke Chen

Objective: Effective collaboration between machines and clinicians requires flexible data structures to represent medical processes and clinical practice guidelines. Such a data structure could enable effective turn-taking between human and…

人机交互 · 计算机科学 2018-08-29 Blake Hannaford , Randall Bly , Ian Humphreys , Mark Whipple

Many data management applications must deal with data which is uncertain, incomplete, or noisy. However, on existing uncertain data representations, we cannot tractably perform the important query evaluation tasks of determining query…

数据库 · 计算机科学 2016-07-19 Antoine Amarilli

Many machine learning libraries require that string features be converted to a numerical representation for the models to work as intended. Categorical string features can represent a wide variety of data (e.g., zip codes, names, marital…

机器学习 · 计算机科学 2021-11-05 John W. van Lith , Joaquin Vanschoren

Semantic data and knowledge infrastructures must reconcile two fundamentally different forms of representation: natural language, in which most knowledge is created and communicated, and formal semantic models, which enable…

计算与语言 · 计算机科学 2026-03-24 Lars Vogt

Data streams are ubiquitous in modern business and society. In practice, data streams may evolve over time and cannot be stored indefinitely. Effective and transparent machine learning on data streams is thus often challenging. Hoeffding…

机器学习 · 计算机科学 2022-09-08 Johannes Haug , Klaus Broelemann , Gjergji Kasneci

In this paper, we define a new kind of weighted tree automata where the weights are only supported by final states. We show that these automata are sequentializable and we study their closures under classical regular and algebraic…

形式语言与自动机理论 · 计算机科学 2015-01-19 Ludovic Mignot , Nadia Ouali-Sebti , Djelloul Ziadi

We use reinforcement learning to learn tree-structured neural networks for computing representations of natural language sentences. In contrast with prior work on tree-structured models in which the trees are either provided as input or…

计算与语言 · 计算机科学 2016-11-29 Dani Yogatama , Phil Blunsom , Chris Dyer , Edward Grefenstette , Wang Ling

While compositional accounts of human language understanding are based on a hierarchical tree-like process, neural models like transformers lack a direct inductive bias for such tree structures. Introducing syntactic inductive biases could…

计算与语言 · 计算机科学 2025-03-25 Ananjan Nandi , Christopher D. Manning , Shikhar Murty

CPEG is an extended parsing expression grammar with regex-like capture annotation. Two annotations (capture and left-folding) allow a flexible construction of syntax trees from arbitrary parsing patterns. More importantly, CPEG is designed…

编程语言 · 计算机科学 2018-12-19 Daisuke Yamaguchi , Kimio Kuramitsu

The domains of data mining and knowledge discovery make use of large amounts of textual data, which need to be handled efficiently. Specific problems, like finding the maximum weight ordered common subset of a set of ordered sets or…

数据结构与算法 · 计算机科学 2009-12-07 Mugurel Ionut Andreica , Nicolae Tapus

The $n$th term of an automatic sequence is the output of a deterministic finite automaton fed with the representation of $n$ in a suitable numeration system. In this paper, instead of considering automatic sequences built on a numeration…

形式语言与自动机理论 · 计算机科学 2023-06-22 Michel Rigo , Manon Stipulanti