中文
相关论文

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

200 篇论文

Our goal is to build classification models using a combination of free-text and structured data. To do this, we represent structured data by text sentences, DataWords, so that similar data items are mapped into the same sentence. This…

机器学习 · 计算机科学 2022-02-18 Stephen I. Gallant , Mirza Nasir Hossain

A Concept Tree is a structure for storing knowledge where the trees are stored in a database called a Concept Base. It sits between the highly distributed neural architectures and the distributed information systems, with the intention of…

人工智能 · 计算机科学 2020-04-07 Kieran Greer

In the era of intelligent computing, computational progress in text processing is an essential consideration. Many systems have been developed to process text over different languages. Though, there is considerable development, they still…

人工智能 · 计算机科学 2020-02-26 Sumant Pushp , Pragya Kashmira , Shyamanta M Hazarika

We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are interpreted over constructor terms (representing data values),…

计算机科学中的逻辑 · 计算机科学 2008-12-01 Adel Bouhoula , Florent Jacquemard

Transformative innovations in model architectures have introduced hierarchical embedding augmentation as a means to redefine the representation of tokens through multi-level semantic structures, offering enhanced adaptability to complex…

计算与语言 · 计算机科学 2025-08-11 Derek Yotheringhay , Alistair Kirkland , Humphrey Kirkbride , Josiah Whitesteeple

Automata over infinite alphabets have emerged as a convenient computational model for processing structures involving data, such as nonces in cryptographic protocols or data values in XML documents. We introduce active learning methods for…

形式语言与自动机理论 · 计算机科学 2026-03-27 Florian Frank , Stefan Milius , Jurriaan Rot , Henning Urbat

This paper presents the first step of a wider research effort to apply tree automata completion to the static analysis of functional programs. Tree Automata Completion is a family of techniques for computing or approximating the set of…

计算机科学中的逻辑 · 计算机科学 2014-10-14 Thomas Genet

Conversational recommender systems (CRS) aim to timely trace the dynamic interests of users through dialogues and generate relevant responses for item recommendations. Recently, various external knowledge bases (especially knowledge graphs)…

人工智能 · 计算机科学 2023-07-21 Wendi Li , Wei Wei , Xiaoye Qu , Xian-Ling Mao , Ye Yuan , Wenfeng Xie , Dangyang Chen

Timed systems, such as timed automata, are usually analyzed using their operational semantics on timed words. The classical region abstraction for timed automata reduces them to (untimed) finite state automata with the same time-abstract…

形式语言与自动机理论 · 计算机科学 2023-06-22 S. Akshay , Paul Gastin , Shankara Narayanan Krishna

Neural networks with tree-based sentence encoders have shown better results on many downstream tasks. Most of existing tree-based encoders adopt syntactic parsing trees as the explicit structure prior. To study the effectiveness of…

计算与语言 · 计算机科学 2018-08-30 Haoyue Shi , Hao Zhou , Jiaze Chen , Lei Li

While many applications export data in hierarchical formats like XML and JSON, it is often necessary to convert such hierarchical documents to a relational representation. This paper presents a novel programming-by-example approach, and its…

编程语言 · 计算机科学 2017-11-15 Navid Yaghmazadeh , Xinyu Wang , Isil Dillig

This paper describes a method for creating structure from heterogeneous sources, as part of an information database, or more specifically, a 'concept base'. Structures called 'concept trees' can grow from the semi-structured sources when…

信息检索 · 计算机科学 2015-03-17 Kieran Greer

The underlying structure of natural language is hierarchical; words combine into phrases, which in turn form clauses. An awareness of this hierarchical structure can aid machine learning models in performing many linguistic tasks. However,…

机器学习 · 计算机科学 2020-04-01 Ashok Thillaisundaram

Overlap is a common phenomenon seen when structural components of a digital object are neither disjoint nor nested inside each other. Overlapping components resist reduction to a structural hierarchy, and tree-based indexing and query…

数据库 · 计算机科学 2016-10-11 Faegheh Hasibi , Svein Erik Bratsberg

Data exploration and visualization systems are of great importance in the Big Data era, in which the volume and heterogeneity of available information make it difficult for humans to manually explore and analyse data. Most traditional…

人机交互 · 计算机科学 2016-02-22 Nikos Bikakis , George Papastefanatos , Melina Skourla , Timos Sellis

Incorporating hierarchical structures like constituency trees has been shown to be effective for various natural language processing (NLP) tasks. However, it is evident that state-of-the-art (SOTA) sequence-based models like the Transformer…

机器学习 · 计算机科学 2020-02-20 Xuan-Phi Nguyen , Shafiq Joty , Steven C. H. Hoi , Richard Socher

Many data are naturally modeled by an unobserved hierarchical structure. In this paper we propose a flexible nonparametric prior over unknown data hierarchies. The approach uses nested stick-breaking processes to allow for trees of…

统计方法学 · 统计学 2010-06-08 Ryan Prescott Adams , Zoubin Ghahramani , Michael I. Jordan

A tree automatic structure is a structure whose domain can be encoded by a regular tree language such that each relation is recognisable by a finite automaton processing tuples of trees synchronously. Words can be regarded as specific…

计算机科学中的逻辑 · 计算机科学 2012-01-25 Martin Huschenbett

We present an approach for recursively splitting and rephrasing complex English sentences into a novel semantic hierarchy of simplified sentences, with each of them presenting a more regular structure that may facilitate a wide variety of…

计算与语言 · 计算机科学 2019-06-05 Christina Niklaus , Matthias Cetto , Andre Freitas , Siegfried Handschuh

While there exist many methods in machine learning for comparison of letter string data, most are better equipped to handle strings that represent natural language, and their performance will not hold up when presented with strings that…

人工智能 · 计算机科学 2021-02-15 Reza Shahbazi