中文
相关论文

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

200 篇论文

Data trees serve as an abstraction of structured data, such as XML documents. A number of specification formalisms for languages of data trees have been developed, many of them adhering to the paradigm of register automata, which is based…

形式语言与自动机理论 · 计算机科学 2024-07-12 Simon Prucker , Lutz Schröder

Numerous computer systems use dynamic control and data structures of unbounded size. These data structures have often the character of trees or they can be encoded as trees with some additional pointers. This is exploited by some currently…

形式语言与自动机理论 · 计算机科学 2012-04-17 Ondřej Lengál

We introduce an automated method for structuring textual data into a model-agnostic schema, enabling alignment with any database model. It generates both a schema and its instance. Initially, textual data is represented as semantically…

数据库 · 计算机科学 2025-12-15 Jacques Chabin , Mirian Halfeld Ferrari , Nicolas Hiot

Recent advancements in large language models have significantly improved their context windows, yet challenges in effective long-term memory management remain. We introduce MemTree, an algorithm that leverages a dynamic, tree-structured…

计算与语言 · 计算机科学 2025-03-21 Alireza Rezazadeh , Zichao Li , Wei Wei , Yujia Bao

Transcribing structured data into natural language descriptions has emerged as a challenging task, referred to as "data-to-text". These structures generally regroup multiple elements, as well as their attributes. Most attempts rely on…

计算与语言 · 计算机科学 2019-12-23 Clément Rebuffel , Laure Soulier , Geoffrey Scoutheeten , Patrick Gallinari

We propose a method to create document representations that reflect their internal structure. We modify Tree-LSTMs to hierarchically merge basic elements such as words and sentences into blocks of increasing complexity. Our Structure…

计算与语言 · 计算机科学 2019-10-08 Khalil Mrini , Claudiu Musat , Michael Baeriswyl , Martin Jaggi

In data languages the positions of strings and trees carry a label from a finite alphabet and a data value from an infinite alphabet. Extensions of automata and logics over finite alphabets have been defined to recognize data languages,…

形式语言与自动机理论 · 计算机科学 2012-08-30 Loris D'Antoni

We introduce Ideograph, a language for expressing and manipulating structured data. Its types describe kinds of structures, such as natural numbers, lists, multisets, binary trees, syntax trees with variable binding, directed multigraphs,…

编程语言 · 计算机科学 2023-03-29 Stephen Mell , Osbert Bastani , Steve Zdancewic

We address the problem of performing semantic transformations on strings, which may represent a variety of data types (or their combination) such as a column in a relational table, time, date, currency, etc. Unlike syntactic…

数据库 · 计算机科学 2012-04-30 Rishabh Singh , Sumit Gulwani

Many common sequential data sources, such as source code and natural language, have a natural tree-structured representation. These trees can be generated by fitting a sequence to a grammar, yielding a hierarchical ordering of the tokens in…

机器学习 · 计算机科学 2019-08-02 Jacob Harer , Chris Reale , Peter Chin

When trained on language data, do transformers learn some arbitrary computation that utilizes the full capacity of the architecture or do they learn a simpler, tree-like computation, hypothesized to underlie compositional meaning systems…

计算与语言 · 计算机科学 2022-11-07 Shikhar Murty , Pratyusha Sharma , Jacob Andreas , Christopher D. Manning

Human language is known to exhibit a nested, hierarchical structure, allowing us to form complex sentences out of smaller pieces. However, many state-of-the-art neural networks models such as Transformers have no explicit hierarchical…

计算与语言 · 计算机科学 2023-07-12 Nilay Patel , Jeffrey Flanigan

In this document, we propose a description, via a Haskell implementation, of a generalization of the notion of regular expression allowing us to group the definitions and the methods of (tree or word) automata constructions over one generic…

形式语言与自动机理论 · 计算机科学 2020-12-22 Ludovic Mignot

We introduce session automata, an automata model to process data words, i.e., words over an infinite alphabet. Session automata support the notion of fresh data values, which are well suited for modeling protocols in which sessions using…

计算机科学中的逻辑 · 计算机科学 2015-07-01 Benedikt Bollig , Peter Habermehl , Martin Leucker , Benjamin Monmege

While most neural generative models generate outputs in a single pass, the human creative process is usually one of iterative building and refinement. Recent work has proposed models of editing processes, but these mostly focus on editing…

机器学习 · 计算机科学 2021-03-08 Ziyu Yao , Frank F. Xu , Pengcheng Yin , Huan Sun , Graham Neubig

Long document classification presents challenges in capturing both local and global dependencies due to their extensive content and complex structure. Existing methods often struggle with token limits and fail to adequately model…

计算与语言 · 计算机科学 2024-10-07 Sudipta Singha Roy , Xindi Wang , Robert E. Mercer , Frank Rudzicz

Recent advances in large language models enable documents to be represented as dense semantic embeddings, supporting similarity-based operations over large text collections. However, many web-scale systems still rely on flat clustering or…

计算与语言 · 计算机科学 2026-01-30 Thomas Haschka , Joseph Bakarji

Designers of statistical machine translation (SMT) systems have begun to employ tree-structured translation models. Systems involving tree-structured translation models tend to be complex. This article aims to reduce the conceptual…

计算与语言 · 计算机科学 2007-05-23 I. Dan Melamed , Wei Wang

We present a general methodology for structuring textual data, represented as syntax trees enriched with semantic information, guided by a meta-model G defined as an attribute grammar. The method involves an evolution process where both the…

数据库 · 计算机科学 2025-03-07 Jacques Chabin , Mirian Halfeld-Ferrari , Nicolas Hiot

We develop a general framework for the specification and implementation of systems whose executions are words, or partial orders, over an infinite alphabet. As a model of an implementation, we introduce class register automata, a one-way…

形式语言与自动机理论 · 计算机科学 2012-01-10 Benedikt Bollig
‹ 上一页 1 2 3 10 下一页 ›