807 citations
- Université de RennesFR75 papers
- Centre National de la Recherche ScientifiqueFR38 papers
- Université Paris-SaclayFR26 papers
- Université Paris CitéFR24 papers
- Université de MontréalCA23 papers
- Observatoire de la Côte d’AzurFR22 papers
- Polytechnique MontréalCA22 papers
- Sorbonne UniversitéFR22 papers
- University of BirminghamGB22 papers
- University of CambridgeGB22 papers
- University of MichiganUS22 papers
- University of PisaIT22 papers
Showing 2010Show all
2 papers · 1 filter
math.ST2010★ 15 cited
The Normalized Graph Cut and Cheeger Constant: from Discrete to Continuous
Ery Arias-Castro, Bruno Pelletier, Pierre Pudlo
Let M be a bounded domain of a Euclidian space with smooth boundary. We relate the Cheeger constant of M and the conductance of a neighborhood graph defined on a random sample from…
cs.LO2010★ 2 cited
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
Benoît Boyer, Thomas Genet
The tree automaton completion is an algorithm used for proving safety properties of systems that can be modeled by a term rewriting system. This representation and verification tec…