Publications

From LRDE

Here you will find the various forms of communication from LRDE members.

LRDE Progress Report

LRDE Bibliography

Publications

Or


Title Authors Published in Date
newton.18.meta.pdf Recognizing hetergeneous 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 Seventh 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

... further results