Conference papers

From LRDE

Revision as of 11:51, 18 September 2013 by Clément Démoulins (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
Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup DiscoveryPierre Duluard
Xinqing Li
Marc Plantevit
Céline Robardet
Romain Vuillemot
Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup DiscoveryMachine Learning and Data Mining for Sports Analytics - 9th International Workshop, MLSA 202219 September 2022
A Kleene Theorem for Higher-Dimensional AutomataUli Fahrenberg
Christian Johansen
Georg Struth
Krzysztof Ziemiański
A Kleene Theorem for Higher-Dimensional Automata33rd International Conference on Concurrency Theory (CONCUR 2022)6 September 2022
Comparing Use-Cases of Tree-Fold vs Fold-Left, How to fold and color a mapJim NewtonComparing Use-Cases of Tree-Fold vs Fold-Left, How to fold and color a mapSymposium on Implementation and Application of Functional Languages31 August 2022
What Does My GNN Really Capture? On Exploring Internal GNN RepresentationsLuca Veyrin-Forrer
Ataollah Kamal
Stefan Duffner
Marc Plantevit
Céline Robardet
What Does My GNN Really Capture? On Exploring Internal GNN RepresentationsInternational Joint Conference on Artificial Intelligence 202223 July 2022
On Robustness for the Skolem and Positivity ProblemsS Akshay
Hugo Bazille
Blaise Genest
Mihir Vahanwala
On Robustness for the Skolem and Positivity Problems39th International Symposium on Theoretical Aspects of Computer Science, STACS7 July 2022
Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématiqueBaptiste Esteban
Guillaume Tochon
Edwin Carlinet
Didier Verna
Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématiqueProceedings of the 28st Symposium on Signal and Image Processing (GRETSI)15 June 2022
Généricité dynamique pour des algorithmes morphologiquesBaptiste Esteban
Edwin Carlinet
Guillaume Tochon
Didier Verna
Généricité dynamique pour des algorithmes morphologiquesProceedings of the 28st Symposium on Signal and Image Processing (GRETSI)15 June 2022
From Spot 2.0 to Spot 2.10: What's New?Alexandre Duret-Lutz
Etienne Renault
Maximilien Colange
Florian Renkin
Alexandre Gbaguidi Aisse
Philipp Schlehuber-Caissier
Thomas Medioni
Antoine Martin
Jérôme Dubois
Clément Gillard
Henrich Lauko
From Spot 2.0 to Spot 2.10: What's New?Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22)6 June 2022
LTL under reductions with weaker conditions than stutter invarianceEmmanuel Paviot-Adet
Denis Poitrenaud
Etienne Renault
Yann Thierry-Mieg
LTL under reductions with weaker conditions than stutter invarianceProceedings of the 41th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'22)18 April 2022
Estimation of the noise level function for color images using mathematical morphology and non-parametric statisticsBaptiste Esteban
Guillaume Tochon
Edwin Carlinet
Didier Verna
Estimation of the noise level function for color images using mathematical morphology and non-parametric statisticsProceedings of the 26th International Conference on Pattern Recognition8 April 2022
A Benchmark of Named Entity Recognition Approaches in Historical DocumentsNathalie Abadie
Edwin Carlinet
Joseph Chazalon
Bertrand Duménieu
A Benchmark of Named Entity Recognition Approaches in Historical DocumentsProceedings of the 15th IAPR International Workshop on Document Analysis System7 April 2022
Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNNLuca Veyrin-Forrer
Ataollah Kamal
Stefan Duffner
Marc Plantevit
Céline Robardet
Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNNExtraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 202224 March 2022
ETAP: Experimental Typesetting Algorithms PlatformDidier VernaETAP: Experimental Typesetting Algorithms Platform15th European Lisp Symposium1 March 2022
Practical Applications of the Alternating Cycle DecompositionAntonio Casares
Alexandre Duret-Lutz
Klara J Meyer
Florian Renkin
Salomon Sickert
Practical Applications of the Alternating Cycle DecompositionProceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems1 February 2022
Découverte de sous-groupes de prédictions interprétables pour le triage d'incidentsYoucef Remil
Anes Bendimerad
Marc Plantevit
Céline Robardet
Mehdi Kaytoue
Découverte de sous-groupes de prédictions interprétables pour le triage d'incidentsExtraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 202224 January 2022
Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile SensorZhou Zhao
Zhenyu Lu
Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor2022 IEEE/RSJ International Conference on Intelligent Robots and Systems1 January 2022
Introducing the Boundary-Aware Loss for Deep Image SegmentationMinh Ôn Vũ Ngoc
Yizi Chen
Joseph Chazalon
Edwin Carlinet
Jonathan Fabrizio
Clément Mallet
Thierry Géraud
Nicolas Boutry
Introducing the Boundary-Aware Loss for Deep Image SegmentationProceedings of the 32nd British Machine Vision Conference (BMVC)28 November 2021
Towards better Heuristics for solving Bounded Model Checking ProblemsSouheib Baarrir
Anissa Kheireddine
Étienne Renault
Towards better Heuristics for solving Bounded Model Checking ProblemsProceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP)31 August 2021
Go2Pins: A Framework for the LTL Verification of Go ProgramsAlexandre Kirszenberg
Antoine Martin
Hugo Moreau
Etienne Renault
Go2Pins: A Framework for the LTL Verification of Go ProgramsProceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21)8 June 2021
Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance SegmentationJoseph Chazalon
Edwin Carlinet
Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance SegmentationProceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21)17 May 2021
ICDAR 2021 Competition on Historical Map SegmentationJoseph Chazalon
Edwin Carlinet
Yizi Chen
Julien Perret
Bertrand Duménieu
Clément Mallet
Thierry Géraud
Vincent Nguyen
Nam Nguyen
Josef Baloun
Ladislav Lenc
Pavel Král
ICDAR 2021 Competition on Historical Map SegmentationProceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21)17 May 2021
Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape ExtractionYizi Chen
Edwin Carlinet
Joseph Chazalon
Clément Mallet
Bertrand Duménieu
Julien Perret
Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape ExtractionProceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21)17 May 2021
Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural NetworksJoaquim Estopinan
Guillaume Tochon
Lucas Drumetz
Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural NetworksProceedings of the 29th European Signal Processing Conference (EUSIPCO)4 May 2021
A Corpus Processing and Analysis Pipeline for QuickrefAntoine Hacquard
Didier Verna
A Corpus Processing and Analysis Pipeline for QuickrefProceedings of the 14th European Lisp Symposium (ELS)1 May 2021
A Portable, Simple, Embeddable Type SystemJim Newton
Adrien Pommellet
A Portable, Simple, Embeddable Type SystemProceedings of the 14th European Lisp Symposium (ELS)26 April 2021
An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-DNicolas Boutry
Thierry Géraud
Laurent Najman
An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-DProceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)2 March 2021
A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor SegmentationNicolas Boutry
Thierry Géraud
A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor SegmentationProceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)2 March 2021
Stability of the Tree of Shapes to Additive NoiseNicolas Boutry
Guillaume Tochon
Stability of the Tree of Shapes to Additive NoiseProceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)2 March 2021
Going beyond p-convolutions to learn grayscale morphological operatorsAlexandre Kirszenberg
Guillaume Tochon
Élodie Puybareau
Jesus Angulo
Going beyond p-convolutions to learn grayscale morphological operatorsProceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)16 February 2021
On Some Associations Between Mathematical Morphology and Artificial IntelligenceIsabelle Bloch
Samy Blusseau
Ramón Pino Pérez
Élodie Puybareau
Guillaume Tochon
On Some Associations Between Mathematical Morphology and Artificial IntelligenceProceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)16 February 2021
Combining Deep Learning and Mathematical Morphology for Historical Map SegmentationYizi Chen
Edwin Carlinet
Joseph Chazalon
Clément Mallet
Bertrand Duménieu
Julien Perret
Combining Deep Learning and Mathematical Morphology for Historical Map SegmentationProceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)16 February 2021
FOANet: A Focus of Attention Network with Application to Myocardium SegmentationZhou Zhao
Nicolas Boutry
Élodie Puybareau
Thierry Géraud
FOANet: A Focus of Attention Network with Application to Myocardium SegmentationProceedings 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 SegmentationZhou Zhao
Nicolas Boutry
Élodie Puybareau
Thierry Géraud
Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial SegmentationProceedings 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 SurvivalThibault Buatois
Élodie Puybareau
Joseph Chazalon
Guillaume Tochon
Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient SurvivalInternational MICCAI Brainlesion Workshop3 September 2020
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer SolversSaeed Nejati
Ludovic Le Frioux
Vijay Ganesh
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer SolversProceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20)1 September 2020
On the Usefulness of Clause Strengthening in Parallel SAT SolvingVincent Vallade
Ludovic Le Frioux
Souheib Baarir
Julien Sopena
Fabrice Kordon
On the Usefulness of Clause Strengthening in Parallel SAT SolvingProceedings of the 12th NASA Formal Methods Symposium (NFM'20)1 August 2020
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
Community and LBD-based Clause Sharing Policy for Parallel SAT SolvingVincent Vallade
Ludovic Le Frioux
Souheib Baarir
Julien Sopena
Vijay Ganesh
Fabrice Kordon
Community and LBD-based Clause Sharing Policy for Parallel SAT SolvingProceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20)1 June 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
Effective Reductions of Mealy MachinesFlorian Renkin
Philipp Schlehuber-Caissier
Alexandre Duret-Lutz
Adrien Pommellet
Effective Reductions of Mealy MachinesProceedings of the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'22)26 April 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
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) 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
Maria-Jose Jimenez
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
... further results