172 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Laboratoire d'Informatique Gaspard-MongeFR8 papers
- École Pour l'Informatique et les Techniques AvancéesFR7 papers
- Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR3 papers
- University of OxfordGB3 papers
- GIPSA-LabFR2 papers
- IMT AtlantiqueFR2 papers
- Université Gustave EiffelFR2 papers
- Université Libre de BruxellesBE2 papers
- University of MonsBE2 papers
- Advanced Imaging Research (United States)US1 paper
- Arab Academy for Science, Technology, and Maritime TransportEG1 paper
- Athinoula A. Martinos Center for Biomedical ImagingUS1 paper
19 papers
Found in Translation: semantic approaches for enhancing AI interpretability in face verification
Miriam Doh, Caroline Mazini Rodrigues, N. Boutry +3
The increasing complexity of machine learning models in computer vision, particularly in face verification, requires the development of explainable artificial intelligence (XAI) to…
Automatic Hardware Pragma Insertion in High-Level Synthesis: A Non-Linear Programming Approach
Stéphane Pouget, Louis-Noël Pouchet, Jason Cong
High-Level Synthesis enables the rapid prototyping of hardware accelerators, by combining a high-level description of the functional behavior of a kernel with a set of micro-archit…
Bridging Human Concepts and Computer Vision for Explainable Face Verification
Miriam Doh, Caroline Mazini Rodrigues, Nicolas Boutry +3
With Artificial Intelligence (AI) influencing the decision-making process of sensitive applications such as Face Verification, it is fundamental to ensure the transparency, fairnes…
Transforming gradient-based techniques into interpretable methods
Caroline Mazini Rodrigues, Nicolas Boutry, Laurent Najman
The explication of Convolutional Neural Networks (CNN) through xAI techniques often poses challenges in interpretation. The inherent complexity of input features, notably pixels ex…
Neural Koopman prior for data assimilation
Anthony Frion, Lucas Drumetz, Mauro Dalla Mura +2
With the increasing availability of large scale datasets, computational power and tools like automatic differentiation and expressive neural network architectures, sequential data…
Unsupervised discovery of Interpretable Visual Concepts
Caroline Mazini Rodrigues, Nicolas Boutry, Laurent Najman
Providing interpretability of deep-learning models to non-experts, while fundamental for a responsible real-world usage, is challenging. Attribution maps from xAI techniques, such…
Leveraging Neural Koopman Operators to Learn Continuous Representations of Dynamical Systems from Scarce Data
Anthony Frion, Lucas Drumetz, Mauro Dalla Mura +2
Over the last few years, several works have proposed deep learning architectures to learn dynamical systems from observation data with no or little knowledge of the underlying phys…
A Benchmark of Nested Named Entity Recognition Approaches in Historical Structured Documents
Solenn Tual, Nathalie Abadie, J Chazalon +2
Named Entity Recognition (NER) is a key step in the creation of structured data from digitised historical documents. Traditional NER approaches deal with flat named entities, where…
Discrete Morse Functions and Watersheds
Gilles Bertrand, Nicolas Boutry, Laurent Najman
Any watershed, when defined on a stack on a normal pseudomanifold of dimension d, is a pure (d -- 1)-subcomplex that satisfies a drop-of-water principle. In this paper, we introduc…
Effective Reductions of Mealy Machines
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz +1
We revisit the problem of reducing incompletely specified Mealy machines with reactive synthesis in mind. We propose two techniques: the former is inspired by the tool MeMin and so…
A Proof of the Tree of Shapes in n-D
Thierry GÉraud, Nicolas Boutry, Sébastien Crozet +2
In this paper, we prove that the self-dual morphological hierarchical structure computed on a n-D gray-level wellcomposed image u by the algorithm of G{é}raud et al. [1] is exactly…
Some equivalence relation between persistent homology and morphological dynamics
Nicolas Boutry, Laurent Najman, Thierry Géraud
In Mathematical Morphology (MM), connected filters based on dynamics are used to filter the extrema of an image. Similarly, persistence is a concept coming from Persistent Homology…
Gradient Vector Fields of Discrete Morse Functions and Watershed-cuts
Nicolas Boutry, Gilles Bertrand, Laurent Najman
In this paper, we study a class of discrete Morse functions, coming from Discrete Morse Theory, that are equivalent to a class of simplicial stacks, coming from Mathematical Morpho…
Improvements to ltlsynt
Florian Renkin, Philipp Schlehuber, Alexandre Duret-Lutz +1
ltlsynt is a tool for LTL reactive synthesis. We summarize its evolution since 2018.
QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation - Analysis of Ranking Scores and Benchmarking Results
Raghav Mehta, Angelos Filos, Ujjwal Baid +89
Deep learning (DL) models have provided state-of-the-art performance in various medical imaging benchmarking challenges, including the Brain Tumor Segmentation (BraTS) challenges.…
LTL under reductions with weaker conditions than stutter-invariance
Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault +1
Verification of properties expressed as-regular languages such as LTL can benefit hugely from stutter-insensitivity, using a diverse set of reduction strategies. However properties…
The Software Heritage Filesystem (SwhFS): Integrating Source Code Archival with Development
Thibault Allançon, Antoine Pietri, Stefano Zacchiroli
We introduce the Software Heritage filesystem (SwhFS), a user-space filesystem that integrates large-scale open source software archival with development workflows. SwhFS provides…
Deep learning for detection and segmentation of artefact and disease instances in gastrointestinal endoscopy
Sharib Ali, Mariia Dmitrieva, Noha Ghatwary +34
The Endoscopy Computer Vision Challenge (EndoCV) is a crowd-sourcing initiative to address eminent problems in developing reliable computer aided detection and diagnosis endoscopy…
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results
Swen Jacobs, Nicolas Basset, Roderick Bloem +11
We report on the fourth reactive synthesis competition (SYNTCOMP 2017). We introduce two new benchmark classes that have been added to the SYNTCOMP library, and briefly describe th…