Personal tools

Conference papers

From LRDE

Jump to: navigation, search
Title Authors Published in Date
ming.17.iccv-amfg Simple Triplet Loss Based on Intra/Inter-class Metric Learning for Face Verification Zuheng Ming, Joseph Chazalon, Muhammad Muzzamil Luqman, Muriel Visani, Jean-Christophe Burie Proceedings of the 7th IEEE Workshop on Analysis and Modeling of Faces and Gestures, ICCV-AMFG 21 August 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 First International Workshop on Open Services and Tools for Document AnalysisICDAR-OST 2017 8 August 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 Fourteenth International Conference on Document Analysis and Recognition, ICDAR17 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 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 Géraud, 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 Géraud 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 Géraud, 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
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 Elodie 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 Yongchao Xu, Thierry Géraud, Lê Duy Huỳnh 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 Elodie 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
dehak.16.nistsre The MIT Lincoln Laboratory 2016 speaker recognition system Pedro A Torres-Carrasquillo, Frederick Richardson, Shahan Nercessian, Douglas Sturim, William Campbell, Youngjune Gwon, Swaroop Vattam, Réda Dehak, Harish Mallidi, Phani Sankar Nidadavolu, Ruizhi Li, Raghavendra Reddy Pappagari, Nanxin Chen, Najim Dehak, Ruben Zazo 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 Yongchao Xu, Thierry Géraud, Lê Duy Huỳnh 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.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
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
morel.16.embc A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI Baptiste Morel, Alessio Virzi, Thierry Géraud, Catherine Adamsbaum, Isabelle Bloch, Yongchao Xu 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
bensalem.15.acsd Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata Ala Eddine Ben Salem, Mohamed Graiet Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15) 19 May 2015
boutry.15.icip How to Make nD Images Well-Composed Without Interpolation Nicolas Boutry, Thierry Géraud, Laurent Najman Proceedings of the IEEE International Conference on Image Processing (ICIP) 14 May 2015
babiak.15.cav The Hanoi Omega-Automata Format Tomáš Babiak, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kv retínský, David Müller, David Parker, Jan Strejček Proceedings of the 27th International Conference on Computer Aided Verification (CAV'15) 27 April 2015
boutry.15.ismm How to Make nD Functions Digitally Well-Composed in a Self-Dual Way Nicolas Boutry, Thierry Géraud, Laurent Najman Mathematical Morphology and Its Application to Signal and Image Processing -- Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) 7 April 2015
carlinet.15.ismm A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation Edwin Carlinet, Thierry Géraud Mathematical Morphology and Its Application to Signal and Image Processing -- Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) 7 April 2015
geraud.15.ismm Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images Thierry Géraud, Edwin Carlinet, Sébastien Crozet Mathematical Morphology and Its Application to Signal and Image Processing -- Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) 7 April 2015
xu.15.ismm Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman Mathematical Morphology and Its Application to Signal and Image Processing -- Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) 7 April 2015
bensalem.15.lata Single-pass Testing Automata for LTL Model Checking Ala Eddine Ben Salem Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA'15) 1 March 2015
dubuisson.15.visapp A self-adaptive likelihood function for tracking with particle filter Séverine Dubuisson, Myriam Robert-Seidowsky, Jonathan Fabrizio Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP) 1 March 2015
robert-seidowsky.15.visapp TextTrail: A Robust Text Tracking Algorithm In Wild Environments Myriam Robert-Seidowsky, Jonathan Fabrizio, Séverine Dubuisson Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP) 1 March 2015
renault.15.tacas Parallel Explicit Model Checking for Generalized Büchi Automata Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15) 13 January 2015
verna.15.cop Context-Oriented Image Processing Didier Verna, Franc cois Ripault Context-Oriented Programming Workshop 1 January 2015
levillain.14.ciarp Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient Roland Levillain, Thierry Géraud, Laurent Najman, Edwin Carlinet Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications -- Proceedings of the 19th Iberoamerican Congress on Pattern Recognition (CIARP) 10 September 2014
widynski.14.ius Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking Nicolas Widynski, Thierry Géraud, Damien Garcia Proceedings of the IEEE International Ultrasonics Symposium (IUS) 10 September 2014
… further results