English
Related papers

Related papers: Tree Automata Acceptance up to Measurable Defect

200 papers

A large body of research is currently investigating on the connection between machine learning and game theory. In this work, game theory notions are injected into a preference learning framework. Specifically, a preference learning problem…

Machine Learning · Computer Science 2018-12-20 Mirko Polato , Fabio Aiolli

Decision Trees are some of the most popular machine learning models today due to their out-of-the-box performance and interpretability. Often, Decision Trees models are constructed greedily in a top-down fashion via heuristic search…

Machine Learning · Computer Science 2023-02-16 Colin Sullivan , Mo Tiwari , Sebastian Thrun , Chris Piech

We present a new tree boosting algorithm designed for the measurement of parameters in the context of effective field theory (EFT). To construct the algorithm, we interpret the optimized loss function of a traditional decision tree as the…

High Energy Physics - Phenomenology · Physics 2022-05-25 Suman Chatterjee , Nikolaus Frohner , Lukas Lechner , Robert Schöfbeck , Dennis Schwarz

We present solutions to a continuous patrolling game played on network. In this zero-sum game, an Attacker chooses a time and place to attack a network for a fixed amount of time. A Patroller patrols the network with the aim of intercepting…

Computer Science and Game Theory · Computer Science 2023-01-31 Thuy Bui , Thomas Lidbetter

Accessibility percolation is a new type of percolation problem inspired by evolutionary biology. To each vertex of a graph a random number is assigned and a path through the graph is called accessible if all numbers along the path are in…

Statistical Mechanics · Physics 2013-04-04 Stefan Nowak , Joachim Krug

Statistically consistent estimation of phylogenetic trees or gene trees is possible if pairwise sequence dissimilarities can be converted to a set of distances that are proportional to the true evolutionary distances. Susko et al. (2004)…

Populations and Evolution · Quantitative Biology 2015-04-28 Emily Jane McTavish , Mike Steel , Mark T. Holder

Quantifying similarity between data objects is an important part of modern data science. Deciding what similarity measure to use is very application dependent. In this paper, we combine insights from systems theory and machine learning, and…

Systems and Control · Computer Science 2018-03-09 Oliver Lauwers , Bart De Moor

The potential lack of fairness in the outputs of machine learning algorithms has recently gained attention both within the research community as well as in society more broadly. Surprisingly, there is no prior work developing tree-induction…

Machine Learning · Statistics 2017-12-25 Edward Raff , Jared Sylvester , Steven Mills

Machine learning algorithms are fundamental components of novel data-informed Artificial Intelligence architecture. In this domain, the imperative role of representative datasets is a cornerstone in shaping the trajectory of artificial…

Machine Learning · Computer Science 2024-04-16 Javier Perera-Lago , Víctor Toscano-Durán , Eduardo Paluzo-Hidalgo , Sara Narteni , Matteo Rucco

Knowledge of airway tree morphology has important clinical applications in diagnosis of chronic obstructive pulmonary disease. We present an automatic tree extraction method based on multiple hypothesis tracking and template matching for…

Computer Vision and Pattern Recognition · Computer Science 2016-11-28 Raghavendra Selvan , Jens Petersen , Jesper H. Pedersen , Marleen de Bruijne

We consider the problem of computing the probability of regular languages of infinite trees with respect to the natural coin-flipping measure. We propose an algorithm which computes the probability of languages recognizable by \emph{game…

Formal Languages and Automata Theory · Computer Science 2015-10-07 Henryk Michalewski , Matteo Mio

We show how up-to techniques for (bi-)similarity can be used in the setting of weighted systems. The problems we consider are language equivalence, language inclusion and the threshold problem (also known as universality problem) for…

Formal Languages and Automata Theory · Computer Science 2017-01-24 Filippo Bonchi , Barbara König , Sebastian Küpper

Approachability has become a standard tool in analyzing earning algorithms in the adversarial online learning setup. We develop a variant of approachability for games where there is ambiguity in the obtained reward that belongs to a set,…

Statistics Theory · Mathematics 2012-02-17 Shie Mannor , Vianney Perchet , Gilles Stoltz

Developing and fielding complex systems requires proof that they are reliably correct with respect to their design and operating requirements. Especially for autonomous systems which exhibit unanticipated emergent behavior, fully…

Software Engineering · Computer Science 2024-02-28 Matthew Litton , Doron Drusinsky , James Bret Michael

Despite its success in producing numerous general results on state-based dynamics, the theory of coalgebra has struggled to accommodate the Buechi acceptance condition---a basic notion in the theory of automata for infinite words or trees.…

Logic in Computer Science · Computer Science 2016-07-01 Natsuki Urabe , Shunsuke Shimizu , Ichiro Hasuo

Recognizing handwritten mathematics is a challenging classification problem, requiring simultaneous identification of all the symbols comprising an input as well as the complex two-dimensional relationships between symbols and…

Artificial Intelligence · Computer Science 2014-09-19 Scott MacLean , George Labahn

The mutational heterogeneity of tumours can be described with a tree representing the evolutionary history of the tumour. With noisy sequencing data there may be uncertainty in the inferred tree structure, while we may also wish to study…

Computational Complexity · Computer Science 2025-01-14 Luís Cunha , Jack Kuipers , Thiago Lopes

Random forests are a learning algorithm proposed by Breiman [Mach. Learn. 45 (2001) 5--32] that combines several randomized decision trees and aggregates their predictions by averaging. Despite its wide usage and outstanding practical…

Statistics Theory · Mathematics 2015-08-11 Erwan Scornet , Gérard Biau , Jean-Philippe Vert

We study tree games developed recently by Matteo Mio as a game interpretation of the probabilistic $\mu$-calculus. With expressive power comes complexity. Mio showed that tree games are able to encode Blackwell games and, consequently, are…

Logic in Computer Science · Computer Science 2014-08-28 Marcin Przybyłko

Decision trees are a popular family of models due to their attractive properties such as interpretability and ability to handle heterogeneous data. Concurrently, missing data is a prevalent occurrence that hinders performance of machine…

Machine Learning · Computer Science 2020-07-01 Pasha Khosravi , Antonio Vergari , YooJung Choi , Yitao Liang , Guy Van den Broeck