Special

Semantic search

Title Authors Published in Date
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 Didier Verna, Jim Newton 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, Thierry~Géraud, Catherine Adamsbaum, Isabelle Bloch 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