Personal tools



Jump to: navigation, search


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

LRDE Progress Report

LRDE Bibliography



Title Authors Published in Date
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
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 Elodie 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 Geraud, Isabelle Bloch Actes du 26e Colloque GRETSI 20 June 2017
boutry.17.dgci Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n Nicolas Boutry, Laurent Najman, Thierry Geraud Discrete Geometry for Computer Imagery -- Proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery (DGCI) 13 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 Geraud, Isabelle Bloch Proceedings of the 23rd IEEE International Conference on Image Processing (ICIP) 13 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
tochon.17.tgrs Object tracking by hierarchical decomposition of hyperspectral video sequences: application to chemical gas plume tracking Guillaume Tochon, Jocelyn Chanussot, Mauro Dalla Mura, Andrea Bertozzi IEEE Transactions on Geoscience and Remote Sensing 20 April 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 Geraud Actes d'ORASIS 21 March 2017
… further results