|
Title
|
Authors
|
Published in
|
Date
|
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
|
le-frioux.19.phd
|
Towards more efficient parallel SAT solving
|
Ludovic Le Frioux
|
|
3 July 2019
|
tochon.19.pr
|
Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images
|
Guillaume Tochon, Mauro Dalla Mura, Miguel Angel Veganzones, Thierry Géraud, Jocelyn Chanussot
|
Pattern Recognition
|
1 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
|
wang.19.tmi
|
Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge
|
Li Wang, Dong Nie, Guannan Li, Élodie Puybareau, Jose Dolz, Qian Zhang, Fan Wang, Jing Xia, Zhengwang Wu, Jiawei Chen, Kim-Han Thung, Toan Duc Bui, Jitae Shin, Guodong Zeng, Guoyan Zheng, Vladimir S Fonov, Andrew Doyle, Yongchao Xu, Pim Moeskops, Josien P W Pluim, Christian Desrosiers, Ismail Ben Ayed, Gerard Sanroma, Oualid M Benkarim, Adrià Casamitjana, Verónica Vilaplana, Weili Lin, Gang Li, Dinggang Shen
|
IEEE Transactions on Medical Imaging
|
11 April 2019
|
kuijf.19.tmi
|
Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge
|
H J Kuijf, J M Biesbroek, J de Bresser, R Heinen, S Andermatt, M Bento, M Berseth, M Belyaev, M J Cardoso, A Casamitjana, D L Collins, M Dadar, A Georgiou, M Ghafoorian, D Jin, A Khademi, J Knight, H Li, X Lladó, M Luna, Q Mahmood, R McKinley, A Mehrtash, S Ourselin, B Park, H Park, S H Park, S Pezold, L Rittner, C H Sudre, S Valverde, V Vilaplana, R Wiest, Z Xu, G Zeng, J Zhang, G Zheng, C Chen, W van der Flier, F Barkhof, M A Viergever, G J Biessels, Élodie Puybareau, Yongchao Xu
|
IEEE Transactions on Medical Imaging
|
10 April 2019
|
bloemen.19.sttt
|
Model checking with generalized Rabin and Fin-less automata
|
Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol
|
International Journal on Software Tools for Technology Transfer
|
1 April 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
|
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
|
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
|
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
|
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
|
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
|
boutry.19.jmiv
|
How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Journal of Mathematical Imaging and Vision
|
4 February 2019
|
puybareau.19.cbm
|
High Throughput Automated Detection of Axial Malformations in Medaka Embryo
|
Diane Genest, Élodie Puybareau, Marc Léonard, Jean Cousty, Noémie De Crozé, Hugues Talbot
|
Computers in Biology and Medicine
|
22 January 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
|
huynh.18.phd
|
Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos.
|
Lê Duy Huỳnh
|
|
1 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
|
newton.18.phd
|
Representing and Computing with Types in Dynamically Typed Languages
|
Jim Newton
|
|
1 November 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
|
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
|
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
|
newton.18.tocl
|
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams
|
Jim Newton, Didier Verna
|
ACM Transactions on Computational Logic
|
28 August 2018
|
boutry.18.is
|
Weakly Well-Composed Cell Complexes over nD Pictures
|
Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez
|
Information Sciences
|
4 July 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
|
carlinet.18.rfiap
|
Un algorithme de complexité linéaire pour le calcul de l'arbre des formes
|
Edwin Carlinet, Sébastien Crozet, Thierry Géraud
|
Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP)
|
4 May 2018
|
puybareau.18.rfiap
|
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
|
Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP), session spéciale “Deep Learning, deep in France”
|
4 May 2018
|
barnat.18.hpcr
|
Parallel Model Checking Algorithms for Linear-Time Temporal Logic
|
Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault
|
Handbook of Parallel Constraint Reasoning
|
10 April 2018
|
newton.18.els
|
Approaches in Typecase Optimization
|
Jim Newton, Didier Verna
|
European Lisp Symposium
|
5 April 2018
|
goetz.18.tpds
|
Parallel Computation of Component Trees on Distributed Memory Machines
|
Markus Götz, Gabriele Cavallaro, Thierry Géraud, Matthias Book, Morris Riedel
|
IEEE Transactions on Parallel and Distributed Systems
|
2 April 2018
|
verna.18.els
|
Method Combinators
|
Didier Verna
|
11th European Lisp Symposium
|
25 March 2018
|
xu.18.media
|
The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities
|
Yongchao Xu, Baptiste Morel, Sonia Dahdouh, Élodie Puybareau, Alessio Virzì, Hélène Urien, Catherine Adamsbaum, Isabelle Bloch, Thierry Géraud
|
Medical Image Analysis
|
22 March 2018
|
xu.18.brainles
|
White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning
|
Yongchao Xu, Thierry Géraud, Élodie Puybareau, Isabelle Bloch, Joseph Chazalon
|
Brainlesion: 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 Papers
|
6 February 2018
|
verna.18.programming
|
Lisp, Jazz, Aikido
|
Didier Verna
|
The Art, Science and Engineering of Programming Journal
|
5 February 2018
|
movn.18.das
|
Saliency-Based Detection of Identity Documents Captured by Smartphones
|
Minh Ôn Vũ Ngoc, Jonathan Fabrizio, Thierry Géraud
|
Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS)
|
2 February 2018
|
dangla.18.das
|
A first step toward a fair comparison of evaluation protocols for text detection algorithms
|
Aliona Dangla, Élodie Puybareau, Guillaume Tochon, Jonathan Fabrizio
|
Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS)
|
2 February 2018
|
metin.18.tacas
|
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving
|
Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon
|
Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18)
|
5 January 2018
|
demaille.17.sacs
|
Derived-Term Automata of Multitape Expressions with Composition
|
Akim Demaille
|
Scientific Annals of Computer Science
|
29 December 2017
|