Special

Semantic search

Title Authors Published in Date
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 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
barnat.18.hpcr Parallel Model Checking Algorithms for Linear-Time Temporal Logic Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault Handbook of Parallel Constraint Reasoning 10 April 2018
newton.18.els Approaches in Typecase Optimization Didier Verna, Jim Newton European Lisp Symposium 5 April 2018
goetz.18.tpds Parallel Computation of Component Trees on Distributed Memory Machines Markus Götz, Gabriele Cavallaro, Thierry Géraud, Matthias Book, Morris Riedel IEEE Transactions on Parallel and Distributed Systems 2 April 2018
verna.18.els Method Combinators Didier Verna 11th European Lisp Symposium 25 March 2018
xu.18.media The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities Yongchao Xu, Baptiste Morel, Sonia Dahdouh, Élodie Puybareau, Alessio Virzì, Hélène Urien, Thierry~Géraud, Catherine Adamsbaum, Isabelle Bloch Medical Image Analysis 22 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
verna.18.programming Lisp, Jazz, Aikido Didier Verna The Art, Science and Engineering of Programming Journal 5 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
demaille.17.sacs Derived-Term Automata of Multitape Expressions with Composition Akim Demaille Scientific Annals of Computer Science 29 December 2017
tochon.17.chapter Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis Guillaume Tochon, Mauro Dalla Mura, Miguel-Angel Veganzones ans Silvia Valero, Philippe Salembier, Jocelyn Chanussot Comprehensive Remote Sensing, 1st Edition 8 November 2017
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
boutry.17.jmiv A Tutorial on Well-Composedness Nicolas Boutry, Thierry Géraud, Laurent Najman Journal of Mathematical Imaging and Vision 12 October 2017
chazalon.17.icdar-ost SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode J -C Burie, J Chazalon, J M Ogier., M Coustaty, M Luqman, M Rusiñol, N Nayef, N Sidère, P Gomez-Krämer, S Eskenazi 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
rusinol.17.mtap Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness Marçal Rusiñol, Joseph Chazalon, Katerine Diaz-Chito Multimedia Tools and Applications 29 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
menouer.17.iccs Parallel Learning Portfolio-Based Solvers Tarek Menouer, Souheib Baarir Proceedings of the International Conference on Computational Science (ICCS) 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
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 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
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
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
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
newton.17.dtd.report Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set Jim Newton 2 February 2017
duret.17.hdr Contributions to LTL and ω-Automata for Model Checking Alexandre Duret-Lutz 1 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
boutry.16.phd A Study of Well-Composedness in n-D Nicolas Boutry 1 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
newton.16.monad.report Monads in Common Lisp Jim Newton 18 November 2016
newton.16.dag.report Finding maximal common joins in a DAG Jim Newton 17 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.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
xu.16.prl Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection Yongchao Xu, Thierry Géraud, Laurent Najman Pattern Recognition Letters 20 May 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
xu.16.pami Hierarchical Segmentation Using Tree-Based Shape Spaces Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman IEEE Transactions on Pattern Analysis and Machine Intelligence 11 April 2016
fabrizio.16.ijdar TextCatcher: a method to detect curved and challenging text in natural scenes Jonathan Fabrizio, Myriam Robert-Seidowsky, Séverine Dubuisson, Stefania Calarasanu, Raphaël Boissel International Journal on Document Analysis and Recognition 8 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
newton.16.rte.report Efficient dynamic type checking of heterogeneous sequences Jim Newton 22 February 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
calarasanu.16.ivc What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson Image and Vision Computing 1 February 2016
calarasanu.15.phd Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms Stefania Calarasanu 1 December 2015
carlinet.15.phd A Tree of Shapes for Multivariate Images Edwin Carlinet 1 November 2015
renault.16.sttt Variations on Parallel Explicit Model Checking for Generalized Büchi Automata Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud International Journal on Software Tools for Technology Transfer (STTT) 26 October 2015
carlinet.15.itip MToS: A Tree of Shapes for Multivariate Images Edwin Carlinet, Thierry Géraud IEEE Transactions on Image Processing 26 October 2015
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
xu.15.pami Connected Filtering on Tree-Based Shape-Spaces Yongchao Xu, Thierry Géraud, Laurent Najman IEEE Transactions on Pattern Analysis and Machine Intelligence 5 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
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
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, François Ripault Context-Oriented Programming Workshop 1 January 2015
renault.14.phd Contribution aux tests de vacuité pour le model checking explicite Etienne Renault 5 December 2014
xu.14.itip Tree-Based Morse Regions: A Topological Approach to Local Feature Detection Yongchao Xu, Thierry Géraud, Pascal Monasse, Laurent Najman IEEE Transactions on Image Processing 3 October 2014
bensalem.14.phd Improving the Model Checking of Stutter-Invariant LTL Properties Ala Eddine Ben Salem 25 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
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
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
carlinet.14.itip A Comparative Review of Component Tree Computation Algorithms Edwin Carlinet, Thierry Géraud IEEE Transactions on Image Processing 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 Laurent Najman, Nicolas Boutry, Thierry Géraud 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
duret.14.ijccbs LTL Translation Improvements in Spot 1.0 Alexandre Duret-Lutz International Journal on Critical Computer-Based Systems 6 March 2014
xu.13.phd Tree-based shape spaces: Definition and applications in image processing and computer vision Yongchao Xu 12 December 2013
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
fabrizio.13.paa Text detection in street level image Jonathan Fabrizio, Beatriz Marcotegui, Matthieu Cord Pattern Analysis and Applications 5 November 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
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
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
shum.13.taslp Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach S Shum, Najim Dehak, Réda Dehak, J Glass IEEE Transactions on Audio, Speech, and Language Processing 7 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
lazzara.13.ijdar Efficient Multiscale Sauvola's Binarization Guillaume Lazzara, Thierry Géraud International Journal of Document Analysis and Recognition (IJDAR) 25 April 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
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
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
verna.12.dsl Extensible languages: blurring the distinction between DSLs and GPLs Didier Verna Formal and Practical Aspects of Domain-Specific Languages: Recent Developments 1 September 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
geraud.12.hdr Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes Thierry Géraud 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
fabrizio.12.spic Motion compensation based on Tangent Distance prediction for video compression Jonathan Fabrizio, Séverine Dubuisson, Dominique Béréziat Signal Processing: Image Communication 9 February 2012
bensalem.12.topnoc Model Checking using Generalized Testing Automata Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI) 1 January 2012
chedeau.12.tr JSPP: Morphing C++ into JavaScript Christopher Chedeau, Didier Verna 1 January 2012
verna.12.tug Star TeX : the Next Generation Didier Verna TUGboat 1 January 2012
levillain.11.phd Towards a Software Architecture for Generic Image Processing Roland Levillain 1 November 2011
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
duret.11.arxiv Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg 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
dehak.11.taslp Front-End Factor Analysis For Speaker Verification Najim Dehak, P Kenny, Réda Dehak, P Dumouchel, P Ouellet IEEE Transactions on Audio, Speech, and Language Processing 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
dolstra.10.jfp NixOS: A purely functional Linux distribution Eelco Dolstra, Andres Löh, Nicolas Pierron Journal of Functional Programming 15 October 2010
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) 1 September 2010
geraud.10.livre Morphologie et algorithmes Thierry Géraud, Hugues Talbot, Marc Van Droogenbroeck Morphologie mathématique 2~: estimation, choix et mise en œuvre 1 September 2010
geraud.10.book Algorithms for Mathematical Morphology Hugues Talbot, Marc Van Droogenbroeck, Thierry Géraud Mathematical Morphology—From Theory to Applications 1 July 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.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
verna.10.jucs Revisiting the Visitor: the Just Do It Pattern Didier Verna Journal of Universal Computer Science 1 January 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
hamez.09.phd Génération efficace de grands espaces d'états Alexandre Hamez 1 December 2009
linard.09.phd Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification Alban Linard 1 November 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.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.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
hamez.09.fi Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon Fundamenta Informaticae 1 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, Benoît Sigoure, Nicolas Pierron, Renaud Durlin 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
verna.08.jucs Binary Methods Programming: the CLOS Perspective (extended version) Didier Verna Journal of Universal Computer Science 1 January 2008
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
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
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
verna.06.ijcs How to make Lisp go faster than C Didier Verna IAENG International Journal of Computer Science 1 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
darbon.06.tr A note on nice-levelable MRFs for SAR image denoising with contrast preservation Jérôme Darbon, Marc Sigelle, Florence Tupin 1 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
yoruk.06.itip Shape-based hand recognition Erdem Yörük, Ender Konukoglu, Bülent Sankur, Jérôme Darbon IEEE Transactions on Image Processing 1 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
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
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
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.jmivb Image restoration with discrete constrained Total Variation—Part~II: Levelable functions, convex priors and non-convex case Jérôme Darbon, Marc Sigelle Journal of Mathematical Imaging and Vision 24 March 2006
darbon.06.jmiv Image restoration with discrete constrained Total Variation—Part~I: Fast and exact optimization Jérôme Darbon, Marc Sigelle Journal of Mathematical Imaging and Vision 24 March 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
laplante.07.tocl Probabilistic abstraction for model checking: an approach based on property testing Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont ACM Transactions on Computational Logic 21 November 2005
borghi.06.crossroads C-Transformers — A Framework to Write C Program Transformations Alexandre Borghi, Valentin David, Akim Demaille ACM Crossroads 16 October 2005
darbon.05.phd Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images Jérôme Darbon 1 October 2005
dehak.05.pami Spatial reasoning with relative incomplete information on relative positioning Réda Dehak, Isabelle Bloch, Henri Maître IEEE Transactions on Pattern Analysis and Machine Intelligence 1 September 2005
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
darbon.05.tr A fast and exact algorithm for total variation minimization Jérôme Darbon, Marc Sigelle 1 January 2005
vaucanson.04.techrep Proposal: an XML representation for automata The Vaucanson group 1 November 2004
lombardy.04.tcs Introducing Vaucanson Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch Theoretical Computer Science 1 November 2004
darbon.04.tr Exact optimization of discrete constrained total variation minimization problems Jérôme Darbon, Marc Sigelle 1 October 2004
geraud.04.jasp Fast road network extraction in satellite images using mathematical morphology and Markov random fields Thierry Géraud, Jean-Baptiste Mouret EURASIP Journal on Applied Signal Processing 5 September 2004
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
bloch.05.prl Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI Isabelle Bloch, Olivier Colliot, Oscar Camara, Thierry Géraud Pattern Recognition Letters 9 July 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
lefebvre.04.tr Unified texture management for arbitrary meshes Sylvain Lefebvre, Jérôme Darbon, Fabrice Neyret 26 April 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
bloch.03.ai Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging Isabelle Bloch, Thierry Géraud, Henri Maître Artificial Intelligence 1 August 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
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
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
fabre.00.vsmm Urbi et Orbi: unusual design and implementation choices for distributed virtual environments Yoann Fabre, Guillaume Pitel, Didier Verna Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop 1 October 2000
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
verna.00.vsmm Action recognition: how intelligent virtual environments can ease human-machine interaction Didier Verna Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop 1 October 2000
geraud.00.icpr Obtaining genericity for image processing and pattern recognition algorithms Thierry Géraud, Yoann Fabre, Alexandre Duret-Lutz, Dimitri Papadopoulos-Orfanos, Jean-François Mangin Proceedings of the 15th International Conference on Pattern Recognition (ICPR) 1 September 2000
geraud.00.europlop Generic programming redesign of patterns Thierry Géraud, Alexandre Duret-Lutz Proceedings of the 5th European Conference on Pattern Languages of Programs (EuroPLoP) 1 July 2000
fabre.00.vw A framework to dynamically manage distributed virtual environments Yoann Fabre, Guillaume Pitel, Laurent Soubrevilla, Emmanuel Marchand, Thierry Géraud, Akim Demaille Proceedings of the 2nd International Conference on Virtual Worlds (VW) 1 July 2000
fabre.00.egve An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments Yoann Fabre, Guillaume Pitel, Laurent Soubrevilla, Emmanuel Marchand, Thierry Géraud, Akim Demaille Virtual Environments 2000, Proceedings of the 6th Eurographics Workshop on Virtual Environments (EGVE) 1 June 2000
geraud.00.rfia Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues Thierry Géraud, Isabelle Bloch, Henri Maître Actes du 12ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA) 1 February 2000
clouard.99.tr Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images Régis Clouard, Abderrahim Elmoataz, François Angot, Olivier Lezoray, Alexandre Duret-Lutz 1 November 1999
geraud.99.gretsi Vers une réutilisabilité totale des algorithmes de traitement d'images Thierry Géraud, Yoann Fabre, Dimitri Papadopoulos-Orfanos, Jean-François Mangin Proceedings of the 17th Symposium on Signal and Image Processing (GRETSI) 1 September 1999
geraud.99.cimaf Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information Thierry Géraud, Isabelle Bloch, Henri Maître Proceeding of CIMAF Symposium on Artificial Intelligence 1 January 1999