Conference papers

From LRDE

Revision as of 11:51, 18 September 2013 by Cd (talk | contribs) (Created page with "{{#ask: Category:Publications Publication type::inproceedings | ?Has author = Authors | ?Has title = Title | ?Published in | ?News date#MEDIAWIKI=Date | order = descen...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
 AuthorsTitlePublished inDate
A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-DNicolas Boutry
Rocio Gonzalez-Diaz
Laurent Najman
Thierry Géraud
A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-DCombinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 202021 July 2020
Euler Well-ComposednessNicolas Boutry
Rocio Gonzalez-Diaz
Maria-Jose Jimenez
Eduardo Paluzo-Hildago
Euler Well-ComposednessCombinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 202021 July 2020
Practical “Paritizing” of Emerson-Lei AutomataFlorian Renkin
Alexandre Duret-Lutz
Adrien Pommellet
Practical “Paritizing” of Emerson-Lei AutomataProceedings 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 ArchitecturesNicolas 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 ArchitecturesProceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 20191 June 2020
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-DeterminizationFrantišek Blahoudek
Alexandre Duret-Lutz
Jan Strejček
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-DeterminizationProceedings 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 ImagesZhou 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 ImagesStatistical 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 Papers7 February 2020
Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model FormulationLucas Drumetz
Mauro Dalla Mura
Guillaume Tochon
Ronan Fablet
Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model FormulationProceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP)24 January 2020
Performance Comparison of Several Folding StrategiesJim NewtonPerformance Comparison of Several Folding StrategiesTrends in Functional Programming14 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
HuignardJean-Pierre
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) 20201 January 2020
Quickref: Common Lisp Reference Documentation as a Stress Test for TexinfoDidier VernaQuickref: Common Lisp Reference Documentation as a Stress Test for TexinfoTUGboat6 November 2019
Combining Parallel Emptiness Checks with Partial Order ReductionsDenis Poitrenaud
Etienne Renault
Combining Parallel Emptiness Checks with Partial Order ReductionsProceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19)2 August 2019
Generic Emptiness Check for Fun and ProfitChristel Baier
František Blahoudek
Alexandre Duret-Lutz
Joachim Klein
David Müller
Jan Strejček
Generic Emptiness Check for Fun and ProfitProceedings 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 PicturesNicolas Boutry
Rocio Gonzalez-Diaz
JimenezMaria-Jose
One More Step Towards Well-Composedness of Cell Complexes over n-D PicturesProceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI)18 June 2019
Filtres connexes multivariés par fusion d'arbres de composantesEdwin Carlinet
Thierry Géraud
Filtres connexes multivariés par fusion d'arbres de composantesProceedings 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étriquesBaptiste Esteban
Guillaume Tochon
Thierry Géraud
Estimation du niveau de bruit par arbre des formes et statistiques non paramétriquesProceedings 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 statisticsBaptiste Esteban
Guillaume Tochon
Thierry Géraud
Estimating the noise level function with the tree of shapes and non-parametric statisticsProceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP)7 June 2019
Parallelizing QuickrefDidier VernaParallelizing Quickref12th European Lisp Symposium1 April 2019
Implementing Baker's SUBTYPEP decision procedureLéo Valais
Jim Newton
Didier Verna
Implementing Baker's SUBTYPEP decision procedure12th European Lisp Symposium1 April 2019
An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1DNicolas Boutry
Thierry Géraud
Laurent Najman
An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1DMathematical 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 ClosingsEdwin Carlinet
Thierry Géraud
Introducing Multivariate Connected Openings and ClosingsMathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)13 March 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 microscopyMathematical 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 partitionsGuillaume Tochon
Mauro Dalla Mura
Jocelyn Chanussot
Constructing a braid of partitions from hierarchies of partitionsMathematical 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 FrameworkLudovic Le Frioux
Souheib Baarir
Julien Sopena
Fabrice Kordon
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless FrameworkProceedings 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 BindingJim Newton
Didier Verna
Finite Automata Theory Based Optimization of Conditional Variable BindingEuropean Lisp Symposium14 January 2019
Motion Compensation in Digital Holography for Retinal ImagingJulie Rivet
Guillaume Tochon
Michael Atlan
Serge Meimon
Thierry Géraud
Michel Paques
Motion Compensation in Digital Holography for Retinal ImagingProceedings of the IEEE International Symposium on Biomedical Imaging (ISBI)19 December 2018
Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free ApproachEdwin Carlinet
Thierry Géraud
Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free ApproachProceedings 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 MICCAI5 November 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 LearningProceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI25 October 2018
Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the RetinaJulie 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 RetinaProceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V25 October 2018
An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic ProgrammingMichaël Roynard
Edwin Carlinet
Thierry Géraud
An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic ProgrammingProceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018)25 October 2018
Recognizing heterogeneous sequences by rational type expressionJim Newton
Didier Verna
Recognizing heterogeneous sequences by rational type expressionProceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection14 September 2018
Improving Parallel State-Space Exploration Using Genetic AlgorithmsEtienne RenaultImproving Parallel State-Space Exploration Using Genetic AlgorithmsProceedings 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 SpotThibaud Michaud
Maximilien Colange
Reactive Synthesis from LTL Specification with SpotProceedings of the 7th Workshop on Synthesis, SYNT@CAV 20187 June 2018
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point NumbersSylvie Boldo
Florian Faissole
TourneurVincent
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers25th IEEE Symposium on Computer Arithmetic1 June 2018
The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear AlgorithmEdwin Carlinet
Thierry Géraud
Sébastien Crozet
The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear AlgorithmProceedings 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 VideosProceedings of the 24th IEEE International Conference on Image Processing (ICIP)10 May 2018
Un algorithme de complexité linéaire pour le calcul de l'arbre des formesEdwin Carlinet
Sébastien Crozet
Thierry Géraud
Un algorithme de complexité linéaire pour le calcul de l'arbre des formesActes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP)4 May 2018
Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissageÉlodie Puybareau
Yongchao Xu
Joseph Chazalon
Isabelle Bloch
Thierry Géraud
Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissageActes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP), session spéciale “Deep Learning, deep in France”4 May 2018
Approaches in Typecase OptimizationJim Newton
Didier Verna
Approaches in Typecase OptimizationEuropean Lisp Symposium5 April 2018
Method CombinatorsDidier VernaMethod Combinators11th European Lisp Symposium25 March 2018
White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer LearningYongchao Xu
Thierry Géraud
Élodie Puybareau
Isabelle Bloch
Joseph Chazalon
White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer LearningBrainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries— 3rd International WorkshopBrainLes 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14 2017, Revised Selected Papers6 February 2018
A first step toward a fair comparison of evaluation protocols for text detection algorithmsAliona Dangla
Élodie Puybareau
Guillaume Tochon
Jonathan Fabrizio
A first step toward a fair comparison of evaluation protocols for text detection algorithmsProceedings of the IAPR International Workshop on Document Analysis Systems (DAS)2 February 2018
Saliency-Based Detection of Identity Documents Captured by SmartphonesMinh Ôn Vũ Ngoc
Jonathan Fabrizio
Thierry Géraud
Saliency-Based Detection of Identity Documents Captured by SmartphonesProceedings of the IAPR International Workshop on Document Analysis Systems (DAS)2 February 2018
CDCLSym: Introducing Effective Symmetry Breaking in SAT SolvingHakan Metin
Souheib Baarir
Maximilien Colange
Fabrice Kordon
CDCLSym: Introducing Effective Symmetry Breaking in SAT SolvingProceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18)5 January 2018
Extraction of Ancient Map Contents Using Trees of Connected ComponentsJordan Drapeau
Thierry Géraud
Mickaël Coustaty
Joseph Chazalon
Jean-Christophe Burie
Véronique Eglin
Stéphane Bres
Extraction of Ancient Map Contents Using Trees of Connected ComponentsProceedings of the 12th IAPR International Workshop on Graphics Recognition (GREC)20 October 2017
SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video ModeJ Chazalon
P Gomez-Krämer
J -C Burie
M Coustaty
S Eskenazi
M Luqman
N Nayef
M Rusiñol
N Sidère
J M Ogier.
SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video ModeProceedings of the 1st International Workshop on Open Services and Tools for Document Analysis, (ICDAR-OST)21 July 2017
Derived-Term Automata of Weighted Rational Expressions with Quotient OperatorsAkim Demaille
Thibaud Michaud
Derived-Term Automata of Weighted Rational Expressions with Quotient OperatorsProceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC)5 July 2017
Benchmarking Keypoint Filtering Approaches for Document Image MatchingE Royer
J Chazalon
M Rusiñol
F Bouchara
Benchmarking Keypoint Filtering Approaches for Document Image MatchingProceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR)4 July 2017
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & ResultsSwen Jacobs
Nicolas Basset
Roderick Bloem
Romain Brenguier
Maximilien Colange
FaymonvillePeter
Bernd Finkbeiner
Ayrat Khalimov
KleinFelix
Thibaud Michaud
Guillermo A Pérez
Jean-François Raskin
Ocan Sankur
TentrupLeander
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & ResultsProceedings Sixth Workshop on Synthesis1 July 2017
PaInleSS: a Framework for Parallel SAT SolvingLudovic Le Frioux
Souheib Baarir
Julien Sopena
Fabrice Kordon
PaInleSS: a Framework for Parallel SAT SolvingProceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17)30 June 2017
... further results