Semantic search
Authors | Title | Published in | Date | |
---|---|---|---|---|
A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation | Nicolas Boutry Thierry Géraud | A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation | Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) | 2 March 2021 |
Stability of the Tree of Shapes to Additive Noise | Nicolas Boutry Guillaume Tochon | Stability of the Tree of Shapes to Additive Noise | Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) | 2 March 2021 |
Going beyond p-convolutions to learn grayscale morphological operators | Alexandre Kirszenberg Guillaume Tochon Élodie Puybareau Jesus Angulo | Going beyond p-convolutions to learn grayscale morphological operators | Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) | 16 February 2021 |
On Some Associations Between Mathematical Morphology and Artificial Intelligence | Isabelle Bloch Samy Blusseau Ramón Pino Pérez Élodie Puybareau Guillaume Tochon | On Some Associations Between Mathematical Morphology and Artificial Intelligence | Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) | 16 February 2021 |
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation | Yizi Chen Edwin Carlinet Joseph Chazalon Clément Mallet Bertrand Duménieu Julien Perret | Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation | Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) | 16 February 2021 |
Automation of Binary Analysis: From Open Source Collection to Threat Intelligence | Frederic Grelot Sébastien Larinier SalmonMarie | Automation of Binary Analysis: From Open Source Collection to Threat Intelligence | Proceedings of the 28th C&ESAR | 1 January 2021 |
Debug Packages in OpenBSD | Marc Espie | Debug Packages in OpenBSD | EuroBSDCon 2021 | 1 January 2021 |
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers | Saeed Nejati Ludovic Le Frioux Vijay Ganesh | A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers | Proceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20) | 31 December 2020 |
FOANet: A Focus of Attention Network with Application to Myocardium Segmentation | Zhou Zhao Nicolas Boutry Élodie Puybareau Thierry Géraud | FOANet: A Focus of Attention Network with Application to Myocardium Segmentation | Proceedings of the 25th International Conference on Pattern Recognition (ICPR) | 2 November 2020 |
Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation | Zhou Zhao Nicolas Boutry Élodie Puybareau Thierry Géraud | Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation | Proceedings of the 25th International Conference on Pattern Recognition (ICPR) | 2 November 2020 |
Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival | Thibault Buatois Élodie Puybareau Joseph Chazalon Guillaume Tochon | Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival | International MICCAI Brainlesion Workshop | 3 September 2020 |
On the Usefulness of Clause Strengthening in Parallel SAT Solving | Vincent Vallade Ludovic Le Frioux Souheib Baarir Julien Sopena Fabrice Kordon | On the Usefulness of Clause Strengthening in Parallel SAT Solving | Proceedings of the 12th NASA Formal Methods Symposium (NFM'20) | 1 August 2020 |
Euler Well-Composedness | Nicolas Boutry Rocio Gonzalez-Diaz Maria-Jose Jimenez Eduardo Paluzo-Hildago | Euler Well-Composedness | Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 | 21 July 2020 |
A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D | Nicolas Boutry Rocio Gonzalez-Diaz Laurent Najman Thierry Géraud | A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D | Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 | 21 July 2020 |
Practical “Paritizing” of Emerson–Lei Automata | Florian Renkin Alexandre Duret-Lutz Adrien Pommellet | Practical “Paritizing” of Emerson–Lei Automata | Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20) | 7 July 2020 |
Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures | Nicolas Boutry Joseph Chazalon Élodie Puybareau Guillaume Tochon Hugues Talbot Thierry Géraud | Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures | Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019 | 1 June 2020 |
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving | Vincent Vallade Ludovic Le Frioux Souheib Baarir Julien Sopena Vijay Ganesh Fabrice Kordon | Community and LBD-based Clause Sharing Policy for Parallel SAT Solving | Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20) | 1 June 2020 |
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization | František Blahoudek Alexandre Duret-Lutz Jan Strejček | Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization | Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20) | 14 May 2020 |
A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images | Zhou Zhao Nicolas Boutry Élodie Puybareau Thierry Géraud | A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images | Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges—10th International WorkshopSTACOM 2019, Held in Conjunction with MICCAI 2019Shenzhen, China, October 13, 2019, Revised Selected Papers | 7 February 2020 |
Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation | Lucas Drumetz Mauro Dalla Mura Guillaume Tochon Ronan Fablet | Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation | Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) | 24 January 2020 |
Stacked and parallel U-nets with multi-output for myocardial pathology segmentation | Zhou Zhao Nicolas Boutry Elodie Puybareau | Stacked and parallel U-nets with multi-output for myocardial pathology segmentation | Myocardial Pathology Segmentation Combining Multi-Sequence CMR Challenge | 1 January 2020 |
Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) | Michael Atlan Julie Rivet Antoine Taliercio Guillaume Tochon Nicolas Boutry Jean-Pierre Huignard | Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) | Label-free Biomedical Imaging and Sensing (LBIS) 2020 | 1 January 2020 |
Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo | Didier Verna | Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo | TUGboat | 6 November 2019 |
Combining Parallel Emptiness Checks with Partial Order Reductions | Denis Poitrenaud Etienne Renault | Combining Parallel Emptiness Checks with Partial Order Reductions | Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19) | 2 August 2019 |
Generic Emptiness Check for Fun and Profit | Christel Baier František Blahoudek Alexandre Duret-Lutz Joachim Klein David Müller Jan Strejček | Generic Emptiness Check for Fun and Profit | Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19) | 29 July 2019 |
One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures | Nicolas Boutry Rocio Gonzalez-Diaz Maria-Jose Jimenez | One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures | Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI) | 18 June 2019 |
Filtres connexes multivariés par fusion d'arbres de composantes | Edwin Carlinet Thierry Géraud | Filtres connexes multivariés par fusion d'arbres de composantes | Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI) | 14 June 2019 |
Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques | Baptiste Esteban Guillaume Tochon Thierry Géraud | Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques | Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI) | 14 June 2019 |
Estimating the noise level function with the tree of shapes and non-parametric statistics | Baptiste Esteban Guillaume Tochon Thierry Géraud | Estimating the noise level function with the tree of shapes and non-parametric statistics | Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP) | 7 June 2019 |
Parallelizing Quickref | Didier Verna | Parallelizing Quickref | 12th European Lisp Symposium | 1 April 2019 |
Implementing Baker's SUBTYPEP decision procedure | Léo Valais Jim Newton Didier Verna | Implementing Baker's SUBTYPEP decision procedure | 12th European Lisp Symposium | 1 April 2019 |
Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy | Élodie Puybareau Edwin Carlinet Alessandro Benfenati Hugues Talbot | Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) | 13 March 2019 |
Constructing a braid of partitions from hierarchies of partitions | Guillaume Tochon Mauro Dalla Mura Jocelyn Chanussot | Constructing a braid of partitions from hierarchies of partitions | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) | 13 March 2019 |
An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D | Nicolas Boutry Thierry Géraud Laurent Najman | An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) | 13 March 2019 |
Introducing Multivariate Connected Openings and Closings | Edwin Carlinet Thierry Géraud | Introducing Multivariate Connected Openings and Closings | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) | 13 March 2019 |
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework | Ludovic Le Frioux Souheib Baarir Julien Sopena Fabrice Kordon | Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework | Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19) | 13 February 2019 |
Finite Automata Theory Based Optimization of Conditional Variable Binding | Jim Newton Didier Verna | Finite Automata Theory Based Optimization of Conditional Variable Binding | European Lisp Symposium | 14 January 2019 |
Motion Compensation in Digital Holography for Retinal Imaging | Julie Rivet Guillaume Tochon Michael Atlan Serge Meimon Thierry Géraud Michel Paques | Motion Compensation in Digital Holography for Retinal Imaging | Proceedings of the IEEE International Symposium on Biomedical Imaging (ISBI) | 19 December 2018 |
Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach | Edwin Carlinet Thierry Géraud | Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach | Proceedings of the 5th MICCAI Workshop & Challenge on Computational Methods and Clinical Applications for Spine Imaging (CSI) | 26 November 2018 |
Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure | Élodie Puybareau Guillaume Tochon Joseph Chazalon Jonathan Fabrizio | Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure | Proceedings of the Workshop on Brain Lesions (BrainLes)in conjunction with MICCAI | 5 November 2018 |
Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina | Julie Rivet Guillaume Tochon Serge Meimon Michel Pâques Thierry Géraud Michael Atlan | Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina | Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V | 25 October 2018 |
An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming | Michaël Roynard Edwin Carlinet Thierry Géraud | An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming | Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018) | 25 October 2018 |
Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning | Élodie Puybareau Zhou Zhao Younes Khoudli Yongchao Xu Thierry Géraud Edwin Carlinet Jérôme Lacotte | Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning | Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI | 25 October 2018 |
Document detection in videos captured by smartphones using a saliency-based method | Minh Ôn Vũ Ngoc Jonathan Fabrizio Thierry Géraud | Document detection in videos captured by smartphones using a saliency-based method | International Conference on Document Analysis and Recognition Workshops (ICDARW) | 20 September 2018 |
Recognizing Heterogeneous Sequences by Rational Type Expression | Jim Newton Didier Verna | Recognizing Heterogeneous Sequences by Rational Type Expression | Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection | 14 September 2018 |
Improving Parallel State-Space Exploration Using Genetic Algorithms | Etienne Renault | Improving Parallel State-Space Exploration Using Genetic Algorithms | Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18) | 14 June 2018 |
Reactive Synthesis from LTL Specification with Spot | Thibaud Michaud Maximilien Colange | Reactive Synthesis from LTL Specification with Spot | Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018 | 7 June 2018 |
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers | Sylvie Boldo Florian Faissole TourneurVincent | A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers | 25th IEEE Symposium on Computer Arithmetic | 1 June 2018 |
The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm | Edwin Carlinet Thierry Géraud Sébastien Crozet | The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm | Proceedings of the 24th IEEE International Conference on Image Processing (ICIP) | 10 May 2018 |
Real-Time Document Detection in Smartphone Videos | Élodie Puybareau Thierry Géraud | Real-Time Document Detection in Smartphone Videos | Proceedings of the 24th IEEE International Conference on Image Processing (ICIP) | 10 May 2018 |