Conference papers

From LRDE

Title Authors Published in Date
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
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
newton.18.els Approaches in Typecase Optimization Jim Newton, Didier Verna European Lisp Symposium 5 April 2018
verna.18.els Method Combinators Didier Verna 11th European Lisp Symposium 25 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
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
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
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
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
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
le-frioux.17.sat PaInleSS: a Framework for Parallel SAT Solving Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17) 30 June 2017
puybareau.17.gretsi Caractérisation des zones de mouvement périodiques pour applications bio-médicales Élodie Puybareau, Hugues Talbot, Laurent Najman Actes du 26e Colloque GRETSI 28 June 2017
xu.17.gretsi Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage Yongchao Xu, Thierry Géraud, Isabelle Bloch Actes du 26e Colloque GRETSI 20 June 2017
xu.17.icip From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning Yongchao Xu, Thierry Géraud, Isabelle Bloch Proceedings of the 23rd IEEE International Conference on Image Processing (ICIP) 12 June 2017
boutry.17.dgci Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n Nicolas Boutry, Laurent Najman, Thierry Géraud Discrete Geometry for Computer Imagery – Proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery (DGCI) 1 June 2017
bloemen.17.spin Explicit State Model Checking with Generalized Büchi and Rabin Automata Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol Proceedings of the 24th International SPIN Symposium on Model Checking of Software (SPIN'17) 22 May 2017
blahoudek.17.lpar Seminator: A Tool for Semi-Determinization of Omega-Automata František Blahoudek, Alexandre Duret-Lutz, Mikuláš Klokočka, Mojmír Křetínský, Jan Strejček Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-21) 3 April 2017
carlinet.17.orasis La pseudo-distance du dahu Edwin Carlinet, Yongchao Xu, Nicolas Boutry, Thierry Géraud Actes d'ORASIS 21 March 2017
geraud.17.ismm Introducing the Dahu Pseudo-Distance Thierry Géraud, Yongchao Xu, Edwin Carlinet, Nicolas Boutry Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) 23 February 2017
puybareau.17.ismm Morphological Analysis of Brownian Motion for Physical Measurements Élodie Puybareau, Hugues Talbot, Noha Gaber, Tarik Bourouina Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) 23 February 2017
huynh.17.ismm Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings Lê Duy Huỳnh, Yongchao Xu, Thierry Géraud Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) 23 February 2017
puybareau.17.isbi Periodic Area-of-Motion characterization for Bio-Medical applications Élodie Puybareau, Hugues Talbot, Laurent Najman Proceedings of the IEEE International Symposium on Bio-Medical Imaging (ISBI) 20 February 2017
newton.17.els Programmatic Manipulation of Common Lisp Type Specifiers Jim Newton, Didier Verna, Maximilien Colange European Lisp Symposium 6 February 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 January 2017
dehak.16.nistsre The MIT Lincoln Laboratory 2016 speaker recognition system Douglas Sturim, Frederick Richardson, Harish Mallidi, Najim Dehak, Nanxin Chen, Pedro A Torres-Carrasquillo, Phani Sankar Nidadavolu, Raghavendra Reddy Pappagari, Réda Dehak, Ruben Zazo, Ruizhi Li, Shahan Nercessian, Swaroop Vattam, William Campbell, Youngjune Gwon NIST Speaker Recognition Evaluation 2016 12 December 2016
drumetz.17.lva-ica Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity Lucas Drumetz, Guillaume Tochon, Jocelyn Chanussot, Christian Jutten Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA) 22 November 2016
calarasanu.16.iwrr From text detection to text segmentation: a unified evaluation scheme Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson Proceedings of the 2nd International Workshop on Robust Reading Conference (IWRR-ECCV) 1 October 2016
huynh.16.icpr Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images Lê Duy Huỳnh, Yongchao Xu, Thierry Géraud Proceedings of the 23st International Conference on Pattern Recognition (ICPR) 13 July 2016
demaille.16.ictac Derived-term Automata for Extended Weighted Rational Expressions Akim Demaille Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC) 6 July 2016
duret.16.atva2 Spot 2.0 — a framework for LTL and ω-automata manipulation Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) 17 June 2016
duret.16.atva Heuristics for Checking Liveness Properties with Partial Order Reductions Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) 17 June 2016
morel.16.embc A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI Baptiste Morel, Yongchao Xu, Alessio Virzi, Thierry Géraud, Catherine Adamsbaum, Isabelle Bloch Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society 20 May 2016
demaille.16.ciaa Derived-Term Automata of Multitape Rational Expressions Akim Demaille Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16) 26 April 2016
cavallaro.16.igarss Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes Gabriele Cavallaro, Mauro Dalla Mura, Edwin Carlinet, Thierry Géraud, Nicola Falco, Jón Atli Benediktsson Proceedings of the IEEE International Geoscience and Remote Sensing Symposium (IGARSS) 12 April 2016
newton.16.els Type-Checking of Heterogeneous Sequences in Common Lisp Jim Newton, Akim Demaille, Didier Verna European Lisp Symposium 25 March 2016
calarasanu.16.visapp Towards the rectification of highly distorted texts Stefania Calarasanu, Séverine Dubuisson, Jonathan Fabrizio Proceedings of the 11th International Conference on Computer Vision Theory and Applications (VISAPP) 1 February 2016
baarir.15.lpar SAT-based Minimization of Deterministic ω-Automata Souheib Baarir, Alexandre Duret-Lutz Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'15) 1 September 2015
calarasanu.15.icdar Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson Proceedings of the 13th IAPR International Conference on Document Analysis and Recognition (ICDAR) 1 August 2015
carlinet.15.ipta Morphological Object Picking Based on the Color Tree of Shapes Edwin Carlinet, Thierry Géraud Proceedings of 5th International Conference on Image Processing Theory, Tools and Applications (IPTA'15) 29 June 2015
carlinet.15.gretsi Une approche morphologique de segmentation interactive avec l'arbre des formes couleur Edwin Carlinet, Thierry Géraud Actes du 15e Colloque GRETSI 16 June 2015
blahoudek.15.spin On Refinement of Büchi Automata for Explicit Model Checking František Blahoudek, Alexandre Duret-Lutz, Vojtčech Rujbr, Jan Strejček Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) 15 June 2015
michaud.15.spin Practical Stutter-Invariance Checks for ω-Regular Languages Thibaud Michaud, Alexandre Duret-Lutz Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) 15 June 2015
bensalem.15.forte Extending Testing Automata to All LTL Ala Eddine Ben Salem Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15) 19 May 2015

... further results