Special

Semantic search

Title Authors Published in Date
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
valais.19.els Implementing Baker's SUBTYPEP decision procedure Léo Valais, Jim Newton, Didier Verna 12th European Lisp Symposium 1 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
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
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
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
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
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
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
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
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
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
tochon.17.chapter Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis Guillaume Tochon, Mauro Dalla Mura, Philippe Salembier, Jocelyn Chanussot, Miguel-Angel Veganzones, Silvia Valero Comprehensive Remote Sensing, 1st Edition 8 November 2017
drapeau.17.grec Extraction of Ancient Map Contents Using Trees of Connected Components Jordan Drapeau, Thierry Géraud, Mickaël Coustaty, Joseph Chazalon, Jean-Christophe Burie, Véronique Eglin, Stéphane Bres Proceedings of the 12th IAPR International Workshop on Graphics Recognition (GREC) 20 October 2017
boutry.17.jmiv A Tutorial on Well-Composedness Nicolas Boutry, Thierry Géraud, Laurent Najman Journal of Mathematical Imaging and Vision 12 October 2017
chazalon.17.icdar-ost SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode J 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. Proceedings of the 1st International Workshop on Open Services and Tools for Document Analysis (ICDAR-OST) 21 July 2017
demaille.17.ictac Derived-Term Automata of Weighted Rational Expressions with Quotient Operators Akim Demaille, Thibaud Michaud Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC) 5 July 2017
royer.17.icdar Benchmarking Keypoint Filtering Approaches for Document Image Matching E Royer, J Chazalon, M Rusiñol, F Bouchara Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR) 4 July 2017
jacobs.17.synt The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results Swen 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 Proceedings Sixth Workshop on Synthesis 1 July 2017