,"News year","Has title","Published in"
Publications/roynard.18.rrpr,2018,"An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming","Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018)"
Publications/puybareau.18.stacom,2018,"Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning","Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI"
Publications/newton.18.meta,2018,"Recognizing heterogeneous sequences by rational type expression","Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection"
Publications/newton.18.tocl,2018,"A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams","ACM Transactions on Computational Logic"
Publications/boutry.18.is,2018,"Weakly Well-Composed Cell Complexes over nD Pictures","Information Sciences"
Publications/renault.18.vecos,2018,"Improving Parallel State-Space Exploration Using Genetic Algorithms","Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18)"
Publications/michaud.18.synt,2018,"Reactive Synthesis from LTL Specification with Spot","Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018"
Publications/boldo.18.arith,2018,"A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers","25th IEEE Symposium on Computer Arithmetic"
Publications/puybareau.18.icip,2018,"Real-Time Document Detection in Smartphone Videos","Proceedings of the 24th IEEE International Conference on Image Processing (ICIP)"
Publications/carlinet.18.icip,2018,"The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm","Proceedings of the 24th IEEE International Conference on Image Processing (ICIP)"
Publications/carlinet.18.rfiap,2018,"Un algorithme de complexité linéaire pour le calcul de l'arbre des formes","Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP)"
Publications/puybareau.18.rfiap,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","Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP), session spéciale “Deep Learning, deep in France”"
Publications/barnat.18.hpcr,2018,"Parallel Model Checking Algorithms for Linear-Time Temporal Logic","Handbook of Parallel Constraint Reasoning"
Publications/newton.18.els,2018,"Approaches in Typecase Optimization","European Lisp Symposium"
Publications/goetz.18.tpds,2018,"Parallel Computation of Component Trees on Distributed Memory Machines","IEEE Transactions on Parallel and Distributed Systems"
Publications/verna.18.els,2018,"Method Combinators","11th European Lisp Symposium"
Publications/xu.18.media,2018,"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","Medical Image Analysis"
Publications/xu.18.brainles,2018,"White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning","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"
Publications/verna.18.programming,2018,"Lisp, Jazz, Aikido","The Art, Science and Engineering of Programming Journal"
Publications/dangla.18.das,2018,"A first step toward a fair comparison of evaluation protocols for text detection algorithms","Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS)"