Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

François Denis

dblp:d/FrancoisDenis · DBLP profile ↗
← Back
32ranked-venue papers
21as first author
0since 2021 · last 2019
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 16 · 10 first-authorTheory of computation · 15 · 11 first-authorDatabases, data management, data science and information retrieval · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
7 papers
Automata and formal languages · 84% Algorithms and data structures · 15% Logic in computer science · 1%
Artificial intelligence
4 papers
Learning theory · 50% Probabilistic and Bayesian machine learning · 42% Trustworthy machine learning · 8%

Topics — the 18 heaviest of 18, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Automata and formal languages
weighted automata
0.322016
Dimension-free Concentration Bounds on Hankel Matrices for Spectral Learning · ICML 2014
Dimension-free Concentration Bounds on Hankel Matrices for Spectral Learning · J. Mach. Learn. Res. 2016
Machine learning › Probabilistic and Bayesian machine learning › structured models › latent variable model
spectral learning
0.212016
Dimension-free Concentration Bounds on Hankel Matrices for Spectral Learning · J. Mach. Learn. Res. 2016
Machine learning › Learning theory
concentration inequalities
0.212014
Dimension-free Concentration Bounds on Hankel Matrices for Spectral Learning · ICML 2014
Automata and formal languages › weighted automata
spectral learning
0.212014
Dimension-free Concentration Bounds on Hankel Matrices for Spectral Learning · ICML 2014
Automata and formal languages › probabilistic automata
rational stochastic languages
0.222009
Grammatical inference as a principal component analysis problem · ICML 2009
Learning Rational Stochastic Languages · COLT 2006
Automata and formal languages › formal power series
rational series
0.112011
Absolute convergence of rational series is semi-decidable · Inf. Comput. 2011
Algorithms and data structures › numerical linear algebra
dimensionality reduction
0.112009
Grammatical inference as a principal component analysis problem · ICML 2009
Automata and formal languages
grammatical inference
0.112009
Grammatical inference as a principal component analysis problem · ICML 2009
Algorithms and data structures › numerical linear algebra › dimensionality reduction
principal component analysis
0.112009
Grammatical inference as a principal component analysis problem · ICML 2009
Automata and formal languages › grammatical inference
probabilistic grammar learning
0.112009
Grammatical inference as a principal component analysis problem · ICML 2009
Automata and formal languages
probabilistic automata
0.122004
Learning Classes of Probabilistic Automata · COLT 2004
Residual Languages and Probabilistic Automata · ICALP 2003
Machine learning › Trustworthy machine learning › robustness › learning with noisy labels
class-conditional noise
0.112006
Efficient learning of Naive Bayes classifiers under class-conditional classification noise · ICML 2006
Machine learning › Learning theory › PAC learning
classification noise
0.112006
CN = CPCN · ICML 2006
Machine learning › Learning theory › computational learning theory
concept class learning
0.112006
CN = CPCN · ICML 2006
Machine learning › Probabilistic and Bayesian machine learning › structured models › graphical models › bayesian network › bayesian network classifiers
naive bayes
0.112006
Efficient learning of Naive Bayes classifiers under class-conditional classification noise · ICML 2006
Machine learning › Learning theory
PAC learning
0.112006
CN = CPCN · ICML 2006
Automata and formal languages › probabilistic automata
stochastic languages
0.112006
Learning Rational Stochastic Languages · COLT 2006
Logic in computer science
semantics
0.012003
Residual Languages and Probabilistic Automata · ICALP 2003

Methods — techniques the papers use, named apart from their topics

singular value decomposition · 0.9concentration bounds · 0.5spectral methods · 0.4subspace identification · 0.1multiplicity automata · 0.1product distribution mixture identification · 0.1classification noise models · 0.1
YearPublicationVenuePosition
2019 Recognizable series on graphs and hypergraphs
Raphaël Bailly, Guillaume Rabusseau, François Denis
J. Comput. Syst. Sci.3
2016 Dimension-free Concentration Bounds on Hankel Matrices for Spectral Learning
abstract
Learning probabilistic models over strings is an important issue for many applications. Spectral methods propose elegant solutions to the problem of inferring weighted automata from finite samples of variable-length strings drawn from an unknown target distribution $p$. These methods rely on a singular value decomposition of a matrix $\v{H}_S$, called the empirical Hankel matrix, that records the frequencies of (some of) the observed strings $S$. The accuracy of the learned distribution depends both on the quantity of information embedded in $\v{H}_S$ and on the distance between $\v{H}_S$ and its mean $\v{H}_p$. Existing concentration bounds seem to indicate that the concentration over $\v{H}_p$ gets looser with its dimensions, suggesting that it might be necessary to bound the dimensions of $\v{H}_S$ for learning. We prove new dimension-free concentration bounds for classical Hankel matrices and several variants, based on prefixes or factors of strings, that are useful for learning. Experiments demonstrate that these bounds are tight and that they significantly improve existing (dimension-dependent) bounds. One consequence of these results is that the spectral learning approach remains consistent even if all the observations are recorded within the empirical matrix.
François Denis, Mattias Gybels, Amaury Habrard
J. Mach. Learn. Res.1
2015 Recognizable Series on Hypergraphs
Raphaël Bailly, François Denis, Guillaume Rabusseau
LATA2
2014 Dimension-free Concentration Bounds on Hankel Matrices for Spectral Learning
abstract
Learning probabilistic models over strings is an important issue for many applications. Spectral methods propose elegant solutions to the problem of inferring weighted automata from finite samples of variable-length strings drawn from an unknown target distribution. These methods rely on a singular value decomposition of a matrix H_S, called the Hankel matrix, that records the frequencies of (some of) the observed strings. The accuracy of the learned distribution depends both on the quantity of information embedded in H_S and on the distance between H_S and its mean H_r. Existing concentration bounds seem to indicate that the concentration over H_r gets looser with its size, suggesting to make a trade-off between the quantity of used information and the size of H_r. We propose new dimension-free concentration bounds for several variants of Hankel matrices. Experiments demonstrate that these bounds are tight and that they significantly improve existing bounds. These results suggest that the concentration rate of the Hankel matrix around its mean does not constitute an argument for limiting its size.
François Denis, Mattias Gybels, Amaury Habrard
ICML1
2011 Absolute convergence of rational series is semi-decidable
Raphaël Bailly, François Denis
Inf. Comput.2
2010 A Spectral Approach for Probabilistic Grammatical Inference on Trees
Raphaël Bailly, Amaury Habrard, François Denis
ALT3
2009 Grammatical inference as a principal component analysis problem
abstract
One of the main problems in probabilistic grammatical inference consists in inferring a stochastic language, i.e. a probability distribution, in some class of probabilistic models, from a sample of strings independently drawn according to a fixed unknown target distribution p. Here, we consider the class of rational stochastic languages composed of stochastic languages that can be computed by multiplicity automata, which can be viewed as a generalization of probabilistic automata. Rational stochastic languages p have a useful algebraic characterization: all the mappings up: v → p(uv) lie in a finite dimensional vector subspace Vp* of the vector space ℝ 〈〈Σ〉〉 composed of all real-valued functions defined over Σ*. Hence, a first step in the grammatical inference process can consist in identifying the subspace Vp*. In this paper, we study the possibility of using Principal Component Analysis to achieve this task. We provide an inference algorithm which computes an estimate of this space and then build a multiplicity automaton which computes an estimate of the target distribution. We prove some theoretical properties of this algorithm and we provide results from numerical simulations that confirm the relevance of our approach.
Raphaël Bailly, François Denis, Liva Ralaivola
ICML2
2009 Absolute Convergence of Rational Series Is Semi-decidable
Raphaël Bailly, François Denis
LATA2
2008 On Rational Stochastic Languages
François Denis, Yann Esposito
Fundam. Informaticae1
2007 Learning Rational Stochastic Tree Languages
François Denis, Amaury Habrard
ALT1
2007 A Protocol to Detect Local Affinities Involved in Proteins Distant Interactions
abstract
The tridimensional structure of a protein is constrained or stabilized by some local interactions between distant residues of the protein, such as disulfide bonds, electrostatic interactions or hydrogen links. The in silico prediction of the disulfide connectivity has been widely studied: most results were based on few amino-acids around bonded cysteines, which we call local environments of cysteines. In order to evaluate the impact of such local information onto residue pairing, we propose a machine learning based protocol, independent from the type of contact, to detect affinities between local environments which would contribute to residues pairing. Finally, we experiment our protocol on proteins that feature disulfide or salt bridges. The results show that local environments contribute to the formation of salt bridges. However, results on disulfide bridges are not significantly positive with the class of linear functions used by the perceptron-type algorithm we propose.
Christophe Nicolas Magnan, Cécile Capponi, François Denis
BIBM3
2006 Learning Rational Stochastic Languages
François Denis, Yann Esposito, Amaury Habrard
COLT1
2006 Efficient learning of Naive Bayes classifiers under class-conditional classification noise
abstract
We address the problem of efficiently learning Naive Bayes classifiers under class-conditional classification noise (CCCN). Naive Bayes classifiers rely on the hypothesis that the distributions associated to each class are product distributions. When data is subject to CCC-noise, these conditional distributions are themselves mixtures of product distributions. We give analytical formulas which makes it possible to identify them from data subject to CCCN. Then, we design a learning algorithm based on these formulas able to learn Naive Bayes classifiers under CCCN. We present results on artificial datasets and datasets extracted from the UCI repository database. These results show that CCCN can be efficiently and successfully handled.
François Denis, Christophe Nicolas Magnan, Liva Ralaivola
ICML1
2006 CN = CPCN
abstract
We address the issue of the learnability of concept classes under three classification noise models in the probably approximately correct framework. After introducing the Class-Conditional Classification Noise (CCCN) model, we investigate the problem of the learnability of concept classes under this particular setting and we show that concept classes that are learnable under the well-known uniform classification noise (CN) setting are also CCCN-learnable, which gives CN = CCCN. We then use this result to prove the equality between the set of concept classes that are CN-learnable and the set of concept classes that are learnable in the Constant Partition Classification Noise (CPCN) setting, or, in other words, we show that CN = CPCN.
Liva Ralaivola, François Denis, Christophe Nicolas Magnan
ICML2
2005 Links between probabilistic automata and hidden Markov models: probability distributions, learning models and induction algorithms
Pierre Dupont, François Denis, Yann Esposito
Pattern Recognit.2
2005 Learning from positive and unlabeled examples
François Denis, Rémi Gilleron, Fabien Letouzey
Theor. Comput. Sci.1
2004 Learning Classes of Probabilistic Automata
François Denis, Yann Esposito
COLT1
2004 Learning regular languages using RFSAs
François Denis, Aurélien Lemay, Alain Terlutte
Theor. Comput. Sci.1
2003 Residual Languages and Probabilistic Automata
François Denis, Yann Esposito
ICALP1
2003 On the consistency of the minimum evolution principle of phylogenetic inference
François Denis, Olivier Gascuel
Discret. Appl. Math.1
2002 Residual Finite State Automata
François Denis, Aurélien Lemay, Alain Terlutte
Fundam. Informaticae1
2001 Learning Regular Languages Using RFSA
François Denis, Aurélien Lemay, Alain Terlutte
ALT1
2001 Residual Finite State Automata
François Denis, Aurélien Lemay, Alain Terlutte
STACS1
2001 Learning Regular Languages from Simple Positive Examples
François Denis
Mach. Learn.1
2000 Learning from Positive and Unlabeled Examples
Fabien Letouzey, François Denis, Rémi Gilleron
ALT2
1999 Positive and Unlabeled Examples Help Learning
Francesco De Comité, François Denis, Rémi Gilleron, Fabien Letouzey
ALT2
1999 Finding a Minimal 1-DNF Consistent with a Positive Sample is LOGSNP-Complete
François Denis
Inf. Process. Lett.1
1998 PAC Learning from Positive Statistical Queries
François Denis
ALT1
1997 PAC Learning under Helpful Distributions
François Denis, Rémi Gilleron
ALT1
1996 PAC Learning with Simple Examples
François Denis, Cyrille D'Halluin, Rémi Gilleron
STACS1
1991 Unfolding, Procedural and Fixpoint Semantics of Logic Programs
François Denis, Jean-Paul Delahaye
STACS1
1991 Is there an Axiomatic Semantics for Standard Pure Prolog
François Denis, Jean-Paul Delahaye
Theor. Comput. Sci.1