Special

Semantic search

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