English
Related papers

Related papers: Essential Inputs and Minimal Tree Automata

200 papers

We introduce and study the essential inputs (variables) for terms (trees) and tree automata.

Computational Complexity · Computer Science 2007-05-23 Slavcho Shtrakov

We introduce essential subtrees for terms (trees) and tree automata . There are some results concerning independent sets of subtrees and separable sets for a tree and an automaton.

Computational Complexity · Computer Science 2007-05-23 Slavcho Shtrakov

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…

Formal Languages and Automata Theory · Computer Science 2012-04-17 Ondřej Lengál

Lecture notes on tree language theory, in particular recognizable tree languages and finite state tree transformations.

Formal Languages and Automata Theory · Computer Science 2015-10-08 Joost Engelfriet

We consider the computational complexity of tree transducers, depending on their separable sets of input variables.

Computational Complexity · Computer Science 2007-05-23 Slavcho Shtrakov , Vladimir Shtrakov

We study trees where each successor set is equipped with some additional structure. We introduce a family of automaton models for such trees and prove their equivalence to certain fixed-point logics. As a consequence we obtain…

Logic in Computer Science · Computer Science 2025-02-24 Achim Blumensath

Data analysis and machine learning have become an integrative part of the modern scientific methodology, offering automated procedures for the prediction of a phenomenon based on past observations, unraveling underlying patterns in data and…

Machine Learning · Statistics 2015-06-04 Gilles Louppe

Nowadays new technologies, and especially artificial intelligence, are more and more established in our society. Big data analysis and machine learning, two sub-fields of artificial intelligence, are at the core of many recent breakthroughs…

Machine Learning · Statistics 2021-06-22 Antonio Sutera

To most mathematicians and computer scientists the word ``tree'' conjures up, in addition to the usual image, the image of a connected graph with no circuits. In the last few years various types of trees have been the subject of much…

Group Theory · Mathematics 2016-09-06 John W. Morgan

This is a book on weighted tree automata. We present the basic definitions and some of the important results in a coherent form with full proofs. The concept of weighted tree automata is part of Automata Theory and it touches the area of…

Formal Languages and Automata Theory · Computer Science 2026-01-28 Zoltán Fülöp , Heiko Vogler

Based on decision trees, many fields have arguably made tremendous progress in recent years. In simple words, decision trees use the strategy of "divide-and-conquer" to divide the complex problem on the dependency between input features and…

Machine Learning · Computer Science 2021-01-22 Jinxiong Zhang

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…

Formal Languages and Automata Theory · Computer Science 2024-07-12 Simon Prucker , Lutz Schröder

The use of machine learning algorithms in finance, medicine, and criminal justice can deeply impact human lives. As a consequence, research into interpretable machine learning has rapidly grown in an attempt to better control and fix…

Machine Learning · Computer Science 2021-02-02 Thibaut Vidal , Toni Pacheco , Maximilian Schiffer

Dynamic regression trees are an attractive option for automatic regression and classification with complicated response surfaces in on-line application settings. We create a sequential tree model whose state changes in time with the…

Methodology · Statistics 2010-11-23 Matthew A. Taddy , Robert B. Gramacy , Nicholas G. Polson

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…

Formal Languages and Automata Theory · Computer Science 2015-01-19 Ludovic Mignot , Nadia Ouali-Sebti , Djelloul Ziadi

Determinisation and completion of finite tree automata are important operations with applications in program analysis and verification. However, the complexity of the classical procedures for determinisation and completion is high. They are…

Formal Languages and Automata Theory · Computer Science 2017-11-02 John P. Gallagher , Mai Ajspur , Bishoksan Kafle

Tree automata based algorithms are essential in many fields in computer science such as verification, specification, program analysis. They become also essential for databases with the development of standards such as XML. In this paper, we…

Computational Complexity · Computer Science 2007-05-23 J. Carme , R. Gilleron , A. Lemay , A. Terlutte , M. Tommasi

The many ways in which machine and deep learning are transforming the analysis and simulation of data in particle physics are reviewed. The main methods based on boosted decision trees and various types of neural networks are introduced,…

Data Analysis, Statistics and Probability · Physics 2020-05-07 Dimitri Bourilkov

We discuss an autoencoder model in which the encoding and decoding functions are implemented by decision trees. We use the soft decision tree where internal nodes realize soft multivariate splits given by a gating function and the overall…

Machine Learning · Computer Science 2014-09-29 Ozan İrsoy , Ethem Alpaydın

Besides serving as prediction models, classification trees are useful for finding important predictor variables and identifying interesting subgroups in the data. These functions can be compromised by weak split selection algorithms that…

Applications · Statistics 2010-11-03 Wei-Yin Loh
‹ Prev 1 2 3 10 Next ›