Special

Semantic search

Title Authors Published in Date
boutry.21.dgmm.2 A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation Nicolas Boutry, Thierry Géraud Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 2 March 2021
boutry.21.dgmm.3 Stability of the Tree of Shapes to Additive Noise Nicolas Boutry, Guillaume Tochon Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 2 March 2021
kirszenberg.21.dgmm Going beyond p-convolutions to learn grayscale morphological operators Alexandre Kirszenberg, Guillaume Tochon, Élodie Puybareau, Jesus Angulo Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 16 February 2021
bloch.21.dgmm On Some Associations Between Mathematical Morphology and Artificial Intelligence Isabelle Bloch, Samy Blusseau, Ramón Pino Pérez, Élodie Puybareau, Guillaume Tochon Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 16 February 2021
chen.21.dgmm Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation Yizi Chen, Edwin Carlinet, Joseph Chazalon, Clément Mallet, Bertrand Duménieu, Julien Perret Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 16 February 2021
grelot.21.cesar Automation of Binary Analysis: From Open Source Collection to Threat Intelligence Frederic Grelot, Sébastien Larinier, SalmonMarie Proceedings of the 28th C&ESAR 1 January 2021
espie.21.eurocon Debug Packages in OpenBSD Marc Espie EuroBSDCon 2021 1 January 2021
nejati.20.cp A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh Proceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20) 31 December 2020
zhao.20.icpr.1 FOANet: A Focus of Attention Network with Application to Myocardium Segmentation Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud Proceedings of the 25th International Conference on Pattern Recognition (ICPR) 2 November 2020
zhao.20.icpr.2 Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud Proceedings of the 25th International Conference on Pattern Recognition (ICPR) 2 November 2020
buatois.19.brainles Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival Thibault Buatois, Élodie Puybareau, Joseph Chazalon, Guillaume Tochon International MICCAI Brainlesion Workshop 3 September 2020
vallade.20.nfm On the Usefulness of Clause Strengthening in Parallel SAT Solving Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon Proceedings of the 12th NASA Formal Methods Symposium (NFM'20) 1 August 2020
boutry.20.iwcia1 Euler Well-Composedness Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Eduardo Paluzo-Hildago Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 21 July 2020
boutry.20.iwcia2 A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 21 July 2020
renkin.20.atva Practical “Paritizing” of Emerson–Lei Automata Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20) 7 July 2020
boutry.20.brainles Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures Nicolas Boutry, Joseph Chazalon, Élodie Puybareau, Guillaume Tochon, Hugues Talbot, Thierry Géraud Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019 1 June 2020
vallade.20.sat Community and LBD-based Clause Sharing Policy for Parallel SAT Solving Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20) 1 June 2020
blahoudek.20.cav Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization František Blahoudek, Alexandre Duret-Lutz, Jan Strejček Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20) 14 May 2020
zhao.19.stacom A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges—10th International WorkshopSTACOM 2019, Held in Conjunction with MICCAI 2019Shenzhen, China, October 13, 2019, Revised Selected Papers 7 February 2020
drumetz.20.icassp Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation Lucas Drumetz, Mauro Dalla Mura, Guillaume Tochon, Ronan Fablet Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) 24 January 2020
zhao.19.myops Stacked and parallel U-nets with multi-output for myocardial pathology segmentation Zhou Zhao, Nicolas Boutry, Elodie Puybareau Myocardial Pathology Segmentation Combining Multi-Sequence CMR Challenge 1 January 2020
atlan.20.spie Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) Michael Atlan, Julie Rivet, Antoine Taliercio, Guillaume Tochon, Nicolas Boutry, Jean-Pierre Huignard Label-free Biomedical Imaging and Sensing (LBIS) 2020 1 January 2020
verna.19.tug Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo Didier Verna TUGboat 6 November 2019
poitrenaud.19.icfem Combining Parallel Emptiness Checks with Partial Order Reductions Denis Poitrenaud, Etienne Renault Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19) 2 August 2019
baier.19.atva Generic Emptiness Check for Fun and Profit Christel Baier, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejček Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19) 29 July 2019
boutry.19.dgci One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI) 18 June 2019
carlinet.19.gretsi Filtres connexes multivariés par fusion d'arbres de composantes Edwin Carlinet, Thierry Géraud Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI) 14 June 2019
esteban.19.gretsi Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques Baptiste Esteban, Guillaume Tochon, Thierry Géraud Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI) 14 June 2019
esteban.19.caip Estimating the noise level function with the tree of shapes and non-parametric statistics Baptiste Esteban, Guillaume Tochon, Thierry Géraud Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP) 7 June 2019
verna.19.els Parallelizing Quickref Didier Verna 12th European Lisp Symposium 1 April 2019
valais.19.els Implementing Baker's SUBTYPEP decision procedure Léo Valais, Jim Newton, Didier Verna 12th European Lisp Symposium 1 April 2019
puybareau.19.ismm Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy Élodie Puybareau, Edwin Carlinet, Alessandro Benfenati, Hugues Talbot Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) 13 March 2019
tochon.19.ismm Constructing a braid of partitions from hierarchies of partitions Guillaume Tochon, Mauro Dalla Mura, Jocelyn Chanussot Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) 13 March 2019
boutry.19.ismm An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D Nicolas Boutry, Thierry Géraud, Laurent Najman Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) 13 March 2019
carlinet.19.ismm Introducing Multivariate Connected Openings and Closings Edwin Carlinet, Thierry Géraud Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) 13 March 2019
le-frioux.19.tacas Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19) 13 February 2019
newton.19.els Finite Automata Theory Based Optimization of Conditional Variable Binding Jim Newton, Didier Verna European Lisp Symposium 14 January 2019
rivet.19.isbi Motion Compensation in Digital Holography for Retinal Imaging Julie Rivet, Guillaume Tochon, Michael Atlan, Serge Meimon, Thierry Géraud, Michel Paques Proceedings of the IEEE International Symposium on Biomedical Imaging (ISBI) 19 December 2018
carlinet.19.csi Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach Edwin Carlinet, Thierry Géraud Proceedings of the 5th MICCAI Workshop & Challenge on Computational Methods and Clinical Applications for Spine Imaging (CSI) 26 November 2018
puybareau.18.brainles Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure Élodie Puybareau, Guillaume Tochon, Joseph Chazalon, Jonathan Fabrizio Proceedings of the Workshop on Brain Lesions (BrainLes)in conjunction with MICCAI 5 November 2018
rivet.19.spie Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina Julie Rivet, Guillaume Tochon, Serge Meimon, Michel Pâques, Thierry Géraud, Michael Atlan Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V 25 October 2018
roynard.18.rrpr An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming Michaël Roynard, Edwin Carlinet, Thierry Géraud Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018) 25 October 2018
puybareau.18.stacom Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning Élodie Puybareau, Zhou Zhao, Younes Khoudli, Yongchao Xu, Thierry Géraud, Edwin Carlinet, Jérôme Lacotte Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI 25 October 2018
movn.19.icdarw Document detection in videos captured by smartphones using a saliency-based method Minh Ôn Vũ Ngoc, Jonathan Fabrizio, Thierry Géraud International Conference on Document Analysis and Recognition Workshops (ICDARW) 20 September 2018
newton.18.meta Recognizing Heterogeneous Sequences by Rational Type Expression Jim Newton, Didier Verna Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection 14 September 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
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
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
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
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 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
menouer.17.iccs Parallel Learning Portfolio-Based Solvers Tarek Menouer, Souheib Baarir Proceedings of the International Conference on Computational Science (ICCS) 1 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'17) 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
menouer.17.pdp Parallel Satisfiability Solver Based on Hybrid Partitioning Method Tarek Menouer, Souheib Baarir Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) 1 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
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 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
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
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
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
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
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
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
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
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
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
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, François Ripault Context-Oriented Programming Workshop 1 January 2015
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
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
xu.14.rfia Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur Yongchao Xu, Thierry Géraud, Laurent Najman Actes du 19ème Congrès National sur Reconnaissance des Formes et l'Intelligence Artificielle (RFIA) 1 July 2014
blahoudek.14.spin Is There a Best Büchi Automaton for Explicit Model Checking? František Blahoudek, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček Proceedings of the 21th International SPIN Symposium on Model Checking of Software (SPIN'14) 16 June 2014
dehak.14.odyssey GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification Najim Dehak, O Plchot, M H Bahari, L Burget, H Van hamme, Réda Dehak Odyssey 2014, The Speaker and Language Recognition Workshop 16 June 2014
geraud.14.icip A Morphological Method for Music Score Staff Removal Thierry Géraud Proceedings of the 21st International Conference on Image Processing (ICIP) 3 June 2014
boutry.14.dgci On Making nD Images Well-Composed by a Self-Dual Local Interpolation Nicolas Boutry, Thierry Géraud, Laurent Najman Proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery (DGCI) 28 May 2014
xu.14.icip Meaningful disjoint level lines selection Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman Proceedings of the 21st International Conference on Image Processing (ICIP) 26 May 2014
carlinet.14.icip Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls Edwin Carlinet, Thierry Géraud Proceedings of the 21st International Conference on Image Processing (ICIP) 26 May 2014
crozet.14.icip A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images Sébastien Crozet, Thierry Géraud Proceedings of the 21st International Conference on Image Processing (ICIP) 26 May 2014
fabrizio.14.icip A precise skew estimation algorithm for document images using KNN clustering and Fourier transform Jonathan Fabrizio Proceedings of the 21st International Conference on Image Processing (ICIP) 26 May 2014
demaille.14.ciaa A Type System for Weighted Automata and Rational Expressions Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14) 20 May 2014
carlinet.14.icpr A Morphological Tree of Shapes for Color Images Edwin Carlinet, Thierry Géraud Proceedings of the 22nd International Conference on Pattern Recognition (ICPR) 2 April 2014
bensalem.14.tacas Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14) 1 April 2014
baarir.14.forte Mechanizing the Minimization of Deterministic Generalized Büchi Automata Souheib Baarir, Alexandre Duret-Lutz Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14) 21 March 2014
lazzara.14.das Planting, Growing and Pruning Trees: Connected Filters Applied to Document Image Analysis Guillaume Lazzara, Thierry Géraud, Roland Levillain Proceedings of the 11th IAPR International Workshop on Document Analysis Systems (DAS) 10 December 2013
renault.13.lpar Three SCC-based Emptiness Checks for Generalized Büchi Automata Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13) 9 October 2013
fronc.13.atva LTL Model Checking with Neco Łukasz Fronc, Alexandre Duret-Lutz Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13) 15 June 2013
duret.13.atva Manipulating LTL formulas using Spot 1.0 Alexandre Duret-Lutz Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13) 15 June 2013
xu.13.icip Salient Level Lines Selection Using the Mumford-Shah Functional Yongchao Xu, Thierry Géraud, Laurent Najman Proceedings of the 20th International Conference on Image Processing (ICIP) 27 May 2013
demaille.13.ciaa Implementation Concepts in Vaucanson 2 Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13) 2 May 2013
babiak.13.spin Compositional Approach to Suspension and Other Improvements to LTL Translation Tomáš Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN'13) 28 April 2013
najman.13.ismm Discrete set-valued continuity and interpolation Laurent Najman, Thierry Géraud Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) 14 March 2013
xu.13.ismm Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity Yongchao Xu, Thierry Géraud, Laurent Najman Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) 14 March 2013
carlinet.13.ismm A comparison of many max-tree computation algorithms Edwin Carlinet, Thierry Géraud Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) 14 March 2013
geraud.13.ismm A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images Thierry Géraud, Edwin Carlinet, Sébastien Crozet, Laurent Najman Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) 14 March 2013
renault.13.tacas Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking 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'13) 8 January 2013
verna.13.tug-1 The incredible tale of the author who didn't want to do the publisher's job Didier Verna TUGboat 1 January 2013
verna.13.tug-2 TiCL: the Prototype (Star TeX: the Next GenerationSeason 2) Didier Verna TUGboat 1 January 2013
borgstrom.12.nistsre MITLL 2012 Speaker Recognition Evaluation System Description Jonas Borgstrom, William Campbell, Najim Dehak, Réda Dehak, Daniel Garcia-Romero, Kara Greenfieldand Alan McCree, Doug Reynold, Fred Richardsony, Elliot Singery, Douglas Sturim, Pedro A Torres-Carrasquillo NIST Speaker Recognition Evaluation 1 December 2012
levillain.12.wadgmm-lncs Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework Roland Levillain, Thierry Géraud, Laurent Najman WADGMM 2010 8 August 2012
levillain.10.wadgmm Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework Roland Levillain, Thierry Géraud, Laurent Najman Proceedings of the Workshop on Applications of Digital Geometry and Mathematical Morphology (WADGMM) 30 July 2012
xu.12.icpr Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations Yongchao Xu, Thierry Géraud, Laurent Najman Proceedings of the 21st International Conference on Pattern Recognition (ICPR) 16 June 2012
sennoussaoui.12.odyssey First Attempt at Boltzmann Machines for Speaker Recognition M Sennoussaoui, Najim Dehak, P Kenny, Réda Dehak, P Dumouchel Odyssey Speaker and Language Recognition Workshop 1 June 2012
senta.12.els Generic Image Processing with Climb Laurent Senta, Christopher Chedeau, Didier Verna European Lisp Symposium 1 May 2012
xu.12.icip Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes Yongchao Xu, Thierry Géraud, Laurent Najman Proceedings of the 19th International Conference on Image Processing (ICIP) 17 April 2012
verna.12.tug Star TeX : the Next Generation Didier Verna TUGboat 1 January 2012
dehak.11.interspeech Language Recognition via I-Vectors and Dimensionality Reduction Najim Dehak, Pedro A Torres-Carrasquillo, Douglas Reynolds, Réda Dehak INTERSPEECH 2011 1 August 2011
duret.11.vecos LTL Translation Improvements in Spot Alexandre Duret-Lutz Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11) 25 July 2011
duret.11.atva Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11) 23 June 2011
lazzara.11.icdar The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis Guillaume Lazzara, Roland Levillain, Thierry Géraud, Yann Jacquelet, Julien Marquegnies, Arthur Crépin-Leblond Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR) 1 June 2011
bensalem.11.sumo Generalized Büchi Automata versus Testing Automata for Model Checking Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon Proceedings of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO'11) 25 May 2011
levillain.11.gretsi Une approche générique du logiciel pour le traitement d'images préservant les performances Roland Levillain, Thierry Géraud, Laurent Najman Proceedings of the 23rd Symposium on Signal and Image Processing (GRETSI) 13 May 2011
dehak.11.icassp A Channel-Blind System for Speaker Verification Najim Dehak, Z Karam, D Reynolds, Réda Dehak, W Campbell, J Glass International Conference on Acoustics, Speech and Signal Processing (ICASSP) 1 May 2011
verna.11.onward Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them Didier Verna Onward! 2011 1 January 2011
verna.11.tug Towards LaTeX Coding Standards Didier Verna TUGboat 1 January 2011
minetto.10.icip SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes Rodrigo Minetto, Nicolas Thome, Matthieu Cord, Jonathan Fabrizio, Beatriz Marcotegui Proceedings of the IEEE International Conference on Image Processing (ICIP) 31 December 2010
linard.10.acsd polyDD: Towards a Framework Generalizing Decision Diagrams Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD) 1 June 2010
levillain.10.icip Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library Roland Levillain, Thierry Géraud, Laurent Najman Proceedings of the IEEE International Conference on Image Processing (ICIP) 26 May 2010
verna.10.els CLoX: Common Lisp objects for XEmacs Didier Verna Proceedings of the 3rd European Lisp Symposium 9 March 2010
verna.10.tug Classes, Styles, Conflicts: the Biological Realm of LaTeX Didier Verna TUGboat 9 March 2010
dehak.10.nist LRDE Speaker Recognition System for NIST-SRE 2010 Réda Dehak, Najim Dehak NIST 2010 Speaker Recognition Evaluation 1 January 2010
dehak.10.odyssey Cosine Similarity Scoring without Score Normalization Techniques Najim Dehak, Réda Dehak, J Glass, D Reynolds, P Kenny Odyssey The Speaker and Language Recognition 1 January 2010
dehak.10.odyssey2 Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification S Shum, Najim Dehak, Réda Dehak, J Glass Odyssey The Speaker and Language Recognition 1 January 2010
dehak.09.interspeech Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification Najim Dehak, Réda Dehak, Patrick Kenny, Niko Brummer, Pierre Ouellet, Pierre Dumouchel Interspeech 22 June 2009
dehak.09.interspeechb Cepstral and Long-Term Features for Emotion Recognition Pierre Dumouchel, Najim Dehak, Yazid Attabi, Réda Dehak, Narjès Boufaden Interspeech 22 June 2009
dehak.09.icassp Support Vector Machines and Joint Factor Analysis for Speaker Verification Najim Dehak, Patrick Kenny, Réda Dehak, Ondrej Glember, Pierre Dumouchel, Lukas Burget, Valiantsina Hubeika, Fabio Castaldo IEEE-ICASSP 19 April 2009
levillain.09.ismm Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images Roland Levillain, Thierry Géraud, Laurent Najman Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the Ninth International Symposium on Mathematical Morphology (ISMM) 9 April 2009
verna.08.els Binary Methods Programming: the CLOS Perspective Didier Verna Proceedings of the First European Lisp Symposium 31 March 2009
verna.09.ilc CLOS Efficiency: Instantiation Didier Verna Proceedings of the International Lisp Conference 13 January 2009
duret.09.atva On-the-fly Emptiness Check of Transition-based Streett Automata Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09) 1 January 2009
verna.09.accu Revisiting the Visitor: the Just Do It Pattern Didier Verna Proceedings of the ACCU Conference 2009 29 December 2008
demaille.09.sac TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing Akim Demaille, Roland Levillain, Benoît Sigoure Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09) 11 October 2008
demaille.08.fsmnlp An XML format proposal for the description of weighted automata, transducers, and regular expressions Akim Demaille, Alexandre Duret-Lutz, Florian Lesaint, Sylvain Lombardy, Jacques Sakarovitch, Florent Terrones Post-proceedings of the seventh international workshop on Finite-State Methods and Natural Language Processing (FSMNLP'08) 28 July 2008
verna.08.lncs Report on the 5th Workshop ELW at ECOOP 2008 Didier Verna, Charlotte Herzeel, Christophe Rhodes, Hans Hübner Object-Oriented Technology. ECOOP 2008 Workshop Reader 1 July 2008
ricou.08.eceg A Survey of French Local e-Democracy Olivier Ricou Proceedings of the 8th European Conference on e-Government (ECEG) 1 July 2008
dehak.08.nist The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation Réda Dehak, Najim Dehak, Patrick Kenny NIST-SRE 2008 1 June 2008
geraud.08.mpool Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) Thierry Géraud, Roland Levillain Proceedings of the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL) 26 May 2008
demaille.08.iticse A Set of Tools to Teach Compiler Construction Akim Demaille, Roland Levillain, Benoît Perrot Proceedings of the Thirteenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'08) 29 March 2008
hamez.08.atpn Hierarchical Set Decision Diagrams and Automatic Saturation Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon Petri Nets and Other Models of Concurrency –ICATPN 2008 1 March 2008
demaille.08.ldta Semantics driven disambiguation: A comparison of different approaches Akim Demaille, Renaud Durlin, Nicolas Pierron, Benoît Sigoure Proceedings of the 8th workshop on Language DescriptionsTools and Applications (LDTA'08) 8 February 2008
le-quoc.08.ispec Towards the World-Wide Quantum Network Cuong Le Quoc, Patrick Bellot, Akim Demaille Proceedings of the 4th Information Security Practice and Experience Conference (ISPEC'08) 25 January 2008
hemon.08.sagt Approximate Nash Equilibria for Multi-Player Games Sébastien Hémon, Michel de Rougemont, Miklos Santha 1st International Symposium on Algorithmic Games Theory 18 January 2008
darbon.08.iwcia Global Optimization for First Order Markov Random Fields with Submodular Priors Jérôme Darbon Proceedings of the twelfth International Workshop on Combinatorial Image Analysis (IWCIA'08) 3 January 2008
dehak.08.odysseyb Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification Najim Dehak, Réda Dehak, Patrick Kenny, Pierre Dumouchel Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) 25 September 2007
kenny.08.odyssey The Role of Speaker Factors in the NIST Extended Data Task Patrick Kenny, Najim Dehak, Réda Dehak, Vishwa Gupta, Pierre Dumouchel Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) 25 September 2007
dehak.08.odysseya Kernel Combination for SVM Speaker Verification Réda Dehak, Najim Dehak, Patrick Kenny, Pierre Dumouchel Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) 25 September 2007
ricou.07.adass Web services at TERAPIX Olivier Ricou, Anthony Baillard, Emmanuel Bertin, Frederic Magnard, Chiara Marmo, Yannick Mellier Proceedings of the XVII conference on Astronomical Data Analysis Software & Systems (ADASS) 23 September 2007
dehak.07.interspeech Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification Réda Dehak, Najim Dehak, Patrick Kenny, Pierre Dumouchel Proceedings of the European Conference on Speech Communication and Technologies (Interspeech'07) 27 August 2007
verna.06.imecs How to make Lisp go faster than C Didier Verna Proceedings of the International MultiConference of Engineers and Computer Scientists 11 June 2007
ricou.07.eceg 10 years of confrontation between French Internet users and their successive governments Olivier Ricou Proceedings of the 7th European Conference on e-Government (ECEG) 1 June 2007
baillard.07.gretsi Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire Anthony Baillard, Christophe Berger, Emmanuel Bertin, Thierry Géraud, Roland Levillain, Nicolas Widynski Proceedings of the 21st Symposium on Signal and Image Processing (GRETSI) 11 May 2007
berger.07.icip Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging Christophe Berger, Thierry Géraud, Roland Levillain, Nicolas Widynski, Anthony Baillard, Emmanuel Bertin Proceedings of the IEEE International Conference on Image Processing (ICIP) 3 May 2007
hamez.07.pohll libDMC: a library to Operate Efficient Distributed Model Checking Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg Workshop on Performance Optimization for High-Level Languages and Libraries — associated to IPDPS'2007 13 March 2007
le-quoc.07.ntms On the security of quantum networks: a proposal framework and its capacity Cuong Le Quoc, Patrick Bellot, Akim Demaille Proceedings of the 2007 International Conference on New Technologies, Mobility and Security (NTMS'07) 10 March 2007
fouquier.07.gbr Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation Geoffroy Fouquier, Jamal Atif, Isabelle Bloch Proceedings of the 6th IAPR TC-15 Workshop on Graph-based Representations in Pattern Recognition (GBR) 15 February 2007
verna.07.imecs CLOS solutions to binary methods Didier Verna Proceedings of the International MultiConference of Engineers and Computer Scientists 22 January 2007
darbon.07.mirage A Note on the Discrete Binary Mumford-Shah Model Jérôme Darbon Proceedings of the international Computer Vision / Computer Graphics Collaboration Techniques and Applications (MIRAGE 2007) 29 December 2006
fouquier.07.icassp The Biosecure Geometry-based System for Hand Modality Geoffroy Fouquier, Laurence Likforman, Jérôme Darbon, Bulent Sankur Proceedings of the 32nd IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) 18 December 2006
le-quoc.07.rivf Stochastic routing in large grid-shaped quantum networks Cuong Le Quoc, Patrick Bellot, Akim Demaille Proceedings of the Fifth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'07) 4 December 2006
darbon.07.ei The use of levelable regularization functions for MRF restoration of SAR images Jérôme Darbon, Marc Sigelle, Florence Tupin Proceedings of the 19th Symposium SPIE on Electronic Imaging 30 September 2006
baillard.05.adass Project EFIGI: Automatic classification of galaxies Anthony Baillard, Emmanuel Bertin, Yannic Mellier, Henry Joy McCracken, Thierry Géraud, Roser Pelló, Jean-François LeBorgne, Pascal Fouqué Astronomical Data Analysis Software and Systems XV 20 September 2006
demaille.06.isola Modeling of Sensor Networks Using XRM Akim Demaille, Sylvain Peyronnet, Benoît Sigoure Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06) 14 September 2006
lesage.06.isvc An Efficient Algorithm for Connected Attribute Thinnings and Thickenings David Lesage, Jérôme Darbon, Ceyhun Burak Akgül Proceedings of the second International Conference on Visual Computing 9 August 2006
darbon.06.iccp Approximate Probabilistic Model Checking for Programs Jérôme Darbon, Richard Lassaigne, Sylvain Peyronnet Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06) 27 July 2006
cadilhac.06.avocs Evaluating complex MAC protocols for sensor networks with APMC Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sebastien Tixeuil Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS) 27 July 2006
david.06.iccp Attribute Grammars for Modular Disambiguation Valentin David, Akim Demaille, Olivier Gournet Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06) 12 July 2006
verna.06.ecoop Beating C in Scientific Computing Applications Didier Verna Third European Lisp Workshop at ECOOP 11 July 2006
dehak.06.nist LRDE System description Réda Dehak, Charles-Alban Deledalle, Najim Dehak NIST SRE'06 Workshop: speaker recognition evaluation campaign 1 June 2006
perrot.06.nist ENST-IRCGN System Description Patrick Perrot, Réda Dehak, Gérard Chollet NIST SRE'06 Workshop: speaker recognition evaluation campaign 30 May 2006
denise.06.rt Uniform Random Sampling of Traces in Very Large Models Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet Proceedings of the 1st international workshop on Random Testing 2006 (RT06) 30 May 2006
chekroun.06.iciar On a Polynomial Vector Field Model for Shape Representation Mickael Chekroun, Jérôme Darbon, Igor Ciril Proceedings of the International Conference on Image Analysis and Recognition (ICIAR) 28 April 2006
darbon.06.siam Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials Jérôme Darbon, Marc Sigelle SIAM Conference on Imaging Sciences 22 February 2006
demaille.06.rivf Probabilistic Verification of Sensor Networks Akim Demaille, Sylvain Peyronnet, Thomas Hérault Proceedings of the Fourth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'06) 1 February 2006
herault.06.qest APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet Proceedings of Qest 2006 1 January 2006
darbon.05.isvc A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization Jérôme Darbon, Sylvain Peyronnet Proceedings of the First International Conference on Visual Computing 20 August 2005
claveirole.05.ciaa Inside Vaucanson Thomas Claveirole, Sylvain Lombardy, Sarah O'Connor, Louis-Noël Pouchet, Jacques Sakarovitch Proceedings of Implementation and Application of Automata10th International Conference (CIAA) 25 May 2005
guirado.05.pdmc Distribution, approximation and probabilistic model checking Guillaume Guirado, Thomas Herault, Richard Lassaigne, Sylvain Peyronnet Proceedings of the 4th international workshop on Parallel and Distributed Model Checking (PDMC) 23 May 2005
darbon.05.ispa Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter Jérôme Darbon Proceedings of the 4th International Symposium on Image and Signal Processing and Analysis (ISPA 2005) 27 April 2005
darbon.05.eusipco An efficient algorithm for attribute openings and closings Jérôme Darbon, Ceyhun Burak Akgül Proceedings of the 13th European Signal Processing Conference (EUSIPCO) 14 April 2005
lassaigne.05.wollic Probabilistic verification and approximation Richard Lassaigne, Sylvain Peyronnet Proceedings of 12th Workshop on Logic, LanguageInformation and Computation (Wollic) 11 April 2005
demaille.05.iticse Making Compiler Construction Projects Relevant to Core Curriculums Akim Demaille Proceedings of the Tenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'05) 6 February 2005
darbon.05.ibpria A Fast and Exact Algorithm for Total Variation Minimization Jérôme Darbon, Marc Sigelle Proceedings of the 2nd Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) 18 January 2005
geraud.05.ismm Ruminations on Tarjan's Union-Find algorithm and connected operators Thierry Géraud Proceedings of the 7th International Symposium on Mathematical Morphology (ISMM'05) 5 January 2005
yoruk.04.eusipco Person authentication based on hand shape Erdem Yoruk, Ender Konukoglu, Bulent Sankur, Jérôme Darbon Proceedings of 12th European Signal Processing Conference (EUSIPCO) 1 September 2004
darbon.04.iwcia Exact optimization of discrete constrained total variation minimization problems Jérôme Darbon, Marc Sigelle Proceedings of the 10th International Workshop on Combinatorial Image Analysis (IWCIA) 1 September 2004
geraud.04.iccvg Fast color image segmentation based on levellings in feature Space Thierry Géraud, Giovanni Palma, Niels Van Vliet Computer Vision and Graphics—International Conference on Computer Vision and Graphics (ICCVG), Warsaw, PolandSeptember 2004 11 August 2004
grosicki.04.icc A novel method to fight the non line of sight error in AOA measurements for mobile location Emmanuel Grosicki, Karim Abed-Meraim, Réda Dehak Proceedings of the IEEE International Conference on Communications (ICC) 1 June 2004
maes.04.mpool Metagene, a C++ meta-program generation tool Francis Maes Proceedings of the Workshop on Multiple Paradigm with OO Languages (MPOOL; in conjunction with ECOOP) 25 May 2004
darbon.04.ecoopphd Generic algorithmic blocks dedicated to image processing Jérôme Darbon, Thierry Géraud, Patrick Bellot Proceedings of the ECOOP Workshop for PhD Students 10 March 2004
duflot.04.avocs Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC Marie Duflot, Laurent Fribourg, Thomas Herault, Richard Lassaigne, Frédéric Magniette, Stephane Messika, Sylvain Peyronnet, Claudine Picaronny Proceedings of the 4th International Workshop on Automated Verification of Critical Systems (AVoCS) 1 January 2004
burrus.03.mpool A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming Nicolas Burrus, Alexandre Duret-Lutz, Thierry Géraud, David Lesage, Raphaël Poss Proceedings of the Workshop on Multiple Paradigm with Object-Oriented Languages (MPOOL) 29 October 2003
maes.03.dpcool Program templates: expression templates applied to program evaluation Francis Maes Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages (DP-COOL; in conjunction with PLI) 31 July 2003
geraud.03.icisp Segmentation d'objets curvilignes à l'aide des champs de Markov sur un graphe d'adjacence de courbes issu de l'algorithme de la ligne de partage des eaux Thierry Géraud Proceedings of the International Conference on Image and Signal Processing (ICISP) 1 June 2003
regisgianas.03.poosc On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson Yann Régis-Gianas, Raphaël Poss Proceedings of the Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP) 26 May 2003
lombardy.03.ciaa Introducing Vaucanson Sylvain Lombardy, Raphaël Poss, Yann Régis-Gianas, Jacques Sakarovitch Proceedings of Implementation and Application of Automata8th International Conference (CIAA'03) 5 May 2003
geraud.03.grec Document type recognition using evidence theory Thierry Géraud, Geoffroy Fouquier, Quoc Peyrot, Nicolas Lucas, Franck Signorile Proceedings of the 5th IAPR International Workshop on Graphics Recognition (GREC) 29 April 2003
xue.03.icip Multi-band segmentation using morphological clustering and fusion application to color image segmentation Heru Xue, Thierry Géraud, Alexandre Duret-Lutz Proceedings of the IEEE International Conference on Image Processing (ICIP) 10 April 2003
geraud.03.ibpria Segmentation of curvilinear objects using a watershed-based curve adjacency graph Thierry Géraud Proceedings of the 1st Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) 10 March 2003
geraud.03.nsip Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF Thierry Géraud Proceedings of the EURASIP Workshop on Nonlinear Signal and Image Processing (NSIP) 31 January 2003
carlier.02.itrs Polar type inference with intersection types and ω Sébastien Carlier Proceedings of the 2nd Workshop on Intersection Types and Related Systems (ITRS), published in: Electronic Notes in Theoretical Computer Science 1 July 2002
darbon.02.ismm Generic implementation of morphological image operators Jérôme Darbon, Thierry Géraud, Alexandre Duret-Lutz Mathematical Morphology, Proceedings of the 6th International Symposium (ISMM) 1 April 2002
geraud.01.icip Color image segmentation based on automatic morphological clustering Thierry Géraud, Pierre-Yves Strub, Jérôme Darbon Proceedings of the IEEE International Conference on Image Processing (ICIP) 1 October 2001
verna.01.sci Virtual reality and tele-operation: a common framework Didier Verna Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI)—Emergent Computing and Virtual Engineering 1 July 2001
geraud.01.icisp Segmentation d'images en couleur par classification morphologique non supervisée Thierry Géraud, Pierre-Yves Strub, Jérôme Darbon Proceedings of the International Conference on Image and Signal Processing (ICISP) 1 May 2001
duret.01.ae Expression templates in Ada 95 Alexandre Duret-Lutz Proceedings of the 6th International Conference on Reliable Software Technologies (Ada-Europe) 1 May 2001
angelidis.01.wscg Visualization issues in virtual environments: from computer graphics techniques to intentional visualization Alexis Angelidis, Geoffroy Fouquier Proceedings of the 9th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG) 1 February 2001
geraud.01.ai Applying generic programming to image processing Thierry Géraud, Yoann Fabre, Alexandre Duret-Lutz Proceedings of the IASTED International Conference on Applied Informatics (AI)—Symposium on Advances in Computer Applications 1 February 2001
darbon.01.ei Error correcting code performance for watermark protection Jérôme Darbon, Bulent Sankur, Henri Maître Proceedings of the 13th Symposium SPIE on Electronic Imaging—-Security and Watermarking of Multimedia Contents III (EI27) 1 January 2001
duret.01.coots Generic design patterns in C++ Alexandre Duret-Lutz, Thierry Géraud, Akim Demaille Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS) 1 January 2001
duret.00.gcse Olena: a component-based platform for image processingmixing generic, generative and OO programming Alexandre Duret-Lutz Proceedings of the 2nd International Symposium on Generative and Component-Based Software Engineering (GCSE)—Young Researchers Workshop; published in “Net.ObjectDays2000” 1 October 2000