Semantic search
No value
- Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation (News year 2020, Has title Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation, Published in Proceedings of the 25th International Conference on Pattern Recognition (ICPR))
- FOANet: A Focus of Attention Network with Application to Myocardium Segmentation (News year 2020, Has title FOANet: A Focus of Attention Network with Application to Myocardium Segmentation, Published in Proceedings of the 25th International Conference on Pattern Recognition (ICPR))
- Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids (News year 2020, Has title Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids, Published in Journal of Mathematical Imaging and Vision)
- Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids (News year 2020, Has title Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids, Published in Journal of Mathematical Imaging and Vision)
- Euler Well-Composedness (News year 2020, Has title Euler Well-Composedness, Published in Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020)
- A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D (News year 2020, Has title A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D, Published in Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020)
- Practical “Paritizing” of Emerson–Lei Automata (News year 2020, Has title Practical “Paritizing” of Emerson–Lei Automata, Published in Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20))
- (Dynamic (Programming Paradigms)) ;; Performance and Expressivity (News year 2020, Has title (Dynamic (Programming Paradigms)) ;; Performance and Expressivity)
- LTL Model Checking for Communicating Concurrent Programs (News year 2020, Has title LTL Model Checking for Communicating Concurrent Programs, Published in Innovations in Systems and Software Engineering: a NASA journal (ISSE))
- Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms (News year 2020, Has title Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms)
- Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) (News year 2020, Has title Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation), Published in Label-free Biomedical Imaging and Sensing (LBIS) 2020)
- Improving swarming using genetic algorithms (News year 2020, Has title Improving swarming using genetic algorithms, Published in Innovations in Systems and Software Engineering: a NASA journal (ISSE))
- A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation (News year 2020, Has title A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation, Published in Computer Vision and Image Understanding)
- Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures (News year 2020, Has title Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures, Published in Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019)
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization (News year 2020, Has title Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization, Published in Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20))
- Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation (News year 2020, Has title Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation, Published in Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP))
- A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images (News year 2020, Has title A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images, Published in 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)
- Towards more efficient parallel SAT solving (News year 2019, Has title Towards more efficient parallel SAT solving)
- Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo (News year 2019, Has title Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo, Published in TUGboat)
- Connected Filters on Generalized Shape-Spaces (News year 2019, Has title Connected Filters on Generalized Shape-Spaces, Published in Pattern Recognition Letters)
- Combining Parallel Emptiness Checks with Partial Order Reductions (News year 2019, Has title Combining Parallel Emptiness Checks with Partial Order Reductions, Published in Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19))
- Generic Emptiness Check for Fun and Profit (News year 2019, Has title Generic Emptiness Check for Fun and Profit, Published in Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19))
- Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images (News year 2019, Has title Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images, Published in Pattern Recognition)
- Estimating the noise level function with the tree of shapes and non-parametric statistics (News year 2019, Has title Estimating the noise level function with the tree of shapes and non-parametric statistics, Published in Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP))
- Constructing a braid of partitions from hierarchies of partitions (News year 2019, Has title Constructing a braid of partitions from hierarchies of partitions, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
- Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques (News year 2019, Has title Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques, Published in Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI))
- Filtres connexes multivariés par fusion d'arbres de composantes (News year 2019, Has title Filtres connexes multivariés par fusion d'arbres de composantes, Published in Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI))
- One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures (News year 2019, Has title One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures, Published in Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI))
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge (News year 2019, Has title Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge, Published in IEEE Transactions on Medical Imaging)
- Implementing Baker's SUBTYPEP decision procedure (News year 2019, Has title Implementing Baker's SUBTYPEP decision procedure, Published in 12th European Lisp Symposium)
- Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy (News year 2019, Has title Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge (News year 2019, Has title Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge, Published in IEEE Transactions on Medical Imaging)
- Model checking with generalized Rabin and Fin-less automata (News year 2019, Has title Model checking with generalized Rabin and Fin-less automata, Published in International Journal on Software Tools for Technology Transfer)
- Introducing Multivariate Connected Openings and Closings (News year 2019, Has title Introducing Multivariate Connected Openings and Closings, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
- An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D (News year 2019, Has title An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework (News year 2019, Has title Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework, Published in Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19))
- Parallelizing Quickref (News year 2019, Has title Parallelizing Quickref, Published in 12th European Lisp Symposium)
- How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way (News year 2019, Has title How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way, Published in Journal of Mathematical Imaging and Vision)
- High Throughput Automated Detection of Axial Malformations in Medaka Embryo (News year 2019, Has title High Throughput Automated Detection of Axial Malformations in Medaka Embryo, Published in Computers in Biology and Medicine)
- Finite Automata Theory Based Optimization of Conditional Variable Binding (News year 2019, Has title Finite Automata Theory Based Optimization of Conditional Variable Binding, Published in European Lisp Symposium)
- Document detection in videos captured by smartphones using a saliency-based method (News year 2018, Has title Document detection in videos captured by smartphones using a saliency-based method, Published in International Conference on Document Analysis and Recognition Workshops (ICDARW))
- Recognizing Heterogeneous Sequences by Rational Type Expression (News year 2018, Has title Recognizing Heterogeneous Sequences by Rational Type Expression, Published in Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection)
- Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. (News year 2018, Has title Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos.)
- Motion Compensation in Digital Holography for Retinal Imaging (News year 2018, Has title Motion Compensation in Digital Holography for Retinal Imaging, Published in Proceedings of the IEEE International Symposium on Biomedical Imaging (ISBI))
- Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach (News year 2018, Has title Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach, Published in Proceedings of the 5th MICCAI Workshop & Challenge on Computational Methods and Clinical Applications for Spine Imaging (CSI))
- Representing and Computing with Types in Dynamically Typed Languages (News year 2018, Has title Representing and Computing with Types in Dynamically Typed Languages)
- Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure (News year 2018, Has title Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure, Published in Proceedings of the Workshop on Brain Lesions (BrainLes)in conjunction with MICCAI)
- An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming (News year 2018, Has title An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming, Published in Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018))
- Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina (News year 2018, Has title Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina, Published in Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V)
- Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning (News year 2018, Has title Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning, Published in Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI)
- A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams (News year 2018, Has title A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams, Published in ACM Transactions on Computational Logic)
- Weakly Well-Composed Cell Complexes over nD Pictures (News year 2018, Has title Weakly Well-Composed Cell Complexes over nD Pictures, Published in Information Sciences)
- Improving Parallel State-Space Exploration Using Genetic Algorithms (News year 2018, Has title Improving Parallel State-Space Exploration Using Genetic Algorithms, Published in Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18))
- Approaches in Typecase Optimization (News year 2018, Has title Approaches in Typecase Optimization, Published in European Lisp Symposium)
- Reactive Synthesis from LTL Specification with Spot (News year 2018, Has title Reactive Synthesis from LTL Specification with Spot, Published in Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018)
- A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers (News year 2018, Has title A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers, Published in 25th IEEE Symposium on Computer Arithmetic)
- Real-Time Document Detection in Smartphone Videos (News year 2018, Has title Real-Time Document Detection in Smartphone Videos, Published in Proceedings of the 24th IEEE International Conference on Image Processing (ICIP))
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm (News year 2018, Has title The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm, Published in Proceedings of the 24th IEEE International Conference on Image Processing (ICIP))
- 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 (News year 2018, Has title 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, Published in Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP), session spéciale “Deep Learning, deep in France”)
- Un algorithme de complexité linéaire pour le calcul de l'arbre des formes (News year 2018, Has title Un algorithme de complexité linéaire pour le calcul de l'arbre des formes, Published in Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP))
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic (News year 2018, Has title Parallel Model Checking Algorithms for Linear-Time Temporal Logic, Published in Handbook of Parallel Constraint Reasoning)
- Parallel Computation of Component Trees on Distributed Memory Machines (News year 2018, Has title Parallel Computation of Component Trees on Distributed Memory Machines, Published in IEEE Transactions on Parallel and Distributed Systems)
- 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 (News year 2018, Has title 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, Published in Medical Image Analysis)
- Method Combinators (News year 2018, Has title Method Combinators, Published in 11th European Lisp Symposium)
- Lisp, Jazz, Aikido (News year 2018, Has title Lisp, Jazz, Aikido, Published in The Art, Science and Engineering of Programming Journal)
- A first step toward a fair comparison of evaluation protocols for text detection algorithms (News year 2018, Has title A first step toward a fair comparison of evaluation protocols for text detection algorithms, Published in Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS))
- White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning (News year 2018, Has title White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning, Published in 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)
- Saliency-Based Detection of Identity Documents Captured by Smartphones (News year 2018, Has title Saliency-Based Detection of Identity Documents Captured by Smartphones, Published in Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS))
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving (News year 2018, Has title CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving, Published in Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18))
- Parallel Satisfiability Solver Based on Hybrid Partitioning Method (News year 2017, Has title Parallel Satisfiability Solver Based on Hybrid Partitioning Method, Published in Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP))
- Parallel Learning Portfolio-Based Solvers (News year 2017, Has title Parallel Learning Portfolio-Based Solvers, Published in Proceedings of the International Conference on Computational Science (ICCS))
- Derived-Term Automata of Multitape Expressions with Composition (News year 2017, Has title Derived-Term Automata of Multitape Expressions with Composition, Published in Scientific Annals of Computer Science)
- From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning (News year 2017, Has title From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning, Published in Proceedings of the 23rd IEEE International Conference on Image Processing (ICIP))
- SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode (News year 2017, Has title SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode, Published in Proceedings of the 1st International Workshop on Open Services and Tools for Document Analysis (ICDAR-OST))
- Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n (News year 2017, Has title Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n, Published in Discrete Geometry for Computer Imagery – Proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery (DGCI))
- Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis (News year 2017, Has title Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis, Published in Comprehensive Remote Sensing, 1st Edition)
- Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking (News year 2017, Has title Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking, Published in IEEE Transactions on Geoscience and Remote Sensing)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results (News year 2017, Has title The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results, Published in Proceedings Sixth Workshop on Synthesis)
- Extraction of Ancient Map Contents Using Trees of Connected Components (News year 2017, Has title Extraction of Ancient Map Contents Using Trees of Connected Components, Published in Proceedings of the 12th IAPR International Workshop on Graphics Recognition (GREC))
- A Tutorial on Well-Composedness (News year 2017, Has title A Tutorial on Well-Composedness, Published in Journal of Mathematical Imaging and Vision)
- Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness (News year 2017, Has title Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness, Published in Multimedia Tools and Applications)
- Benchmarking Keypoint Filtering Approaches for Document Image Matching (News year 2017, Has title Benchmarking Keypoint Filtering Approaches for Document Image Matching, Published in Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR))
- Morphological Analysis of Brownian Motion for Physical Measurements (News year 2017, Has title Morphological Analysis of Brownian Motion for Physical Measurements, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM))
- PaInleSS: a Framework for Parallel SAT Solving (News year 2017, Has title PaInleSS: a Framework for Parallel SAT Solving, Published in Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17))
- Derived-Term Automata of Weighted Rational Expressions with Quotient Operators (News year 2017, Has title Derived-Term Automata of Weighted Rational Expressions with Quotient Operators, Published in Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC))
- Caractérisation des zones de mouvement périodiques pour applications bio-médicales (News year 2017, Has title Caractérisation des zones de mouvement périodiques pour applications bio-médicales, Published in Actes du 26e Colloque GRETSI)
- Explicit State Model Checking with Generalized Büchi and Rabin Automata (News year 2017, Has title Explicit State Model Checking with Generalized Büchi and Rabin Automata, Published in Proceedings of the 24th International SPIN Symposium on Model Checking of Software (SPIN'17))
- Seminator: A Tool for Semi-Determinization of Omega-Automata (News year 2017, Has title Seminator: A Tool for Semi-Determinization of Omega-Automata, Published in Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'17))
- La pseudo-distance du dahu (News year 2017, Has title La pseudo-distance du dahu, Published in Actes d'ORASIS)
- 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 (News year 2017, Has title 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, Published in Actes du 26e Colloque GRETSI)
- Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings (News year 2017, Has title Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM))
- Introducing the Dahu Pseudo-Distance (News year 2017, Has title Introducing the Dahu Pseudo-Distance, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM))
- Contributions to LTL and ω-Automata for Model Checking (News year 2017, Has title Contributions to LTL and ω-Automata for Model Checking)
- Periodic Area-of-Motion characterization for Bio-Medical applications (News year 2017, Has title Periodic Area-of-Motion characterization for Bio-Medical applications, Published in Proceedings of the IEEE International Symposium on Bio-Medical Imaging (ISBI))
- Programmatic Manipulation of Common Lisp Type Specifiers (News year 2017, Has title Programmatic Manipulation of Common Lisp Type Specifiers, Published in European Lisp Symposium)
- Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set (News year 2017, Has title Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set)
- A Study of Well-Composedness in n-D (News year 2016, Has title A Study of Well-Composedness in n-D)
- Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity (News year 2016, Has title Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity, Published in Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA))
- Monads in Common Lisp (News year 2016, Has title Monads in Common Lisp)
- Finding Maximal Common Joins in a DAG (News year 2016, Has title Finding Maximal Common Joins in a DAG)
- The MIT Lincoln Laboratory 2016 Speaker Recognition System (News year 2016, Has title The MIT Lincoln Laboratory 2016 Speaker Recognition System, Published in NIST Speaker Recognition Evaluation 2016)
- From text detection to text segmentation: a unified evaluation scheme (News year 2016, Has title From text detection to text segmentation: a unified evaluation scheme, Published in Proceedings of the 2nd International Workshop on Robust Reading Conference (IWRR-ECCV))
- Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images (News year 2016, Has title Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images, Published in Proceedings of the 23st International Conference on Pattern Recognition (ICPR))
- Derived-term Automata for Extended Weighted Rational Expressions (News year 2016, Has title Derived-term Automata for Extended Weighted Rational Expressions, Published in Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC))
- Spot 2.0 — a framework for LTL and ω-automata manipulation (News year 2016, Has title Spot 2.0 — a framework for LTL and ω-automata manipulation, Published in Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16))
- Heuristics for Checking Liveness Properties with Partial Order Reductions (News year 2016, Has title Heuristics for Checking Liveness Properties with Partial Order Reductions, Published in Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16))
- Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection (News year 2016, Has title Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection, Published in Pattern Recognition Letters)
- A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI (News year 2016, Has title A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI, Published in Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society)
- Derived-Term Automata of Multitape Rational Expressions (News year 2016, Has title Derived-Term Automata of Multitape Rational Expressions, Published in Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16))
- Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes (News year 2016, Has title Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes, Published in Proceedings of the IEEE International Geoscience and Remote Sensing Symposium (IGARSS))
- Hierarchical Segmentation Using Tree-Based Shape Spaces (News year 2016, Has title Hierarchical Segmentation Using Tree-Based Shape Spaces, Published in IEEE Transactions on Pattern Analysis and Machine Intelligence)
- Type-Checking of Heterogeneous Sequences in Common Lisp (News year 2016, Has title Type-Checking of Heterogeneous Sequences in Common Lisp, Published in European Lisp Symposium)
- TextCatcher: A method to detect curved and challenging text in natural scenes (News year 2016, Has title TextCatcher: A method to detect curved and challenging text in natural scenes, Published in International Journal on Document Analysis and Recognition)
- Efficient Dynamic Type Checking of Heterogeneous Sequences (News year 2016, Has title Efficient Dynamic Type Checking of Heterogeneous Sequences)
- What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions (News year 2016, Has title What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions, Published in Image and Vision Computing)
- Towards the rectification of highly distorted texts (News year 2016, Has title Towards the rectification of highly distorted texts, Published in Proceedings of the 11th International Conference on Computer Vision Theory and Applications (VISAPP))
- SAT-based Minimization of Deterministic ω-Automata (News year 2015, Has title SAT-based Minimization of Deterministic ω-Automata, Published in Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'15))
- Variations on Parallel Explicit Model Checking for Generalized Büchi Automata (News year 2015, Has title Variations on Parallel Explicit Model Checking for Generalized Büchi Automata, Published in International Journal on Software Tools for Technology Transfer (STTT))
- A Tree of Shapes for Multivariate Images (News year 2015, Has title A Tree of Shapes for Multivariate Images)
- Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms (News year 2015, Has title Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms)
- Connected Filtering on Tree-Based Shape-Spaces (News year 2015, Has title Connected Filtering on Tree-Based Shape-Spaces, Published in IEEE Transactions on Pattern Analysis and Machine Intelligence)
- Context-Oriented Image Processing (News year 2015, Has title Context-Oriented Image Processing, Published in Context-Oriented Programming Workshop)
- Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection (News year 2015, Has title Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection, Published in Proceedings of the 13th IAPR International Conference on Document Analysis and Recognition (ICDAR))
- Une approche morphologique de segmentation interactive avec l'arbre des formes couleur (News year 2015, Has title Une approche morphologique de segmentation interactive avec l'arbre des formes couleur, Published in Actes du 15e Colloque GRETSI)
- Morphological Object Picking Based on the Color Tree of Shapes (News year 2015, Has title Morphological Object Picking Based on the Color Tree of Shapes, Published in Proceedings of 5th International Conference on Image Processing Theory, Tools and Applications (IPTA'15))
- Practical Stutter-Invariance Checks for ω-Regular Languages (News year 2015, Has title Practical Stutter-Invariance Checks for ω-Regular Languages, Published in Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15))
- On Refinement of Büchi Automata for Explicit Model Checking (News year 2015, Has title On Refinement of Büchi Automata for Explicit Model Checking, Published in Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15))
- Extending Testing Automata to All LTL (News year 2015, Has title Extending Testing Automata to All LTL, Published in Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15))
- Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata (News year 2015, Has title Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata, Published in Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15))
- How to Make nD Images Well-Composed Without Interpolation (News year 2015, Has title How to Make nD Images Well-Composed Without Interpolation, Published in Proceedings of the IEEE International Conference on Image Processing (ICIP))
- The Hanoi Omega-Automata Format (News year 2015, Has title The Hanoi Omega-Automata Format, Published in Proceedings of the 27th International Conference on Computer Aided Verification (CAV'15))
- MToS: A Tree of Shapes for Multivariate Images (News year 2015, Has title MToS: A Tree of Shapes for Multivariate Images, Published in IEEE Transactions on Image Processing)
- Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations (News year 2015, Has title Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM))
- Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images (News year 2015, Has title Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM))
- A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation (News year 2015, Has title A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM))
- How to Make nD Functions Digitally Well-Composed in a Self-Dual Way (News year 2015, Has title How to Make nD Functions Digitally Well-Composed in a Self-Dual Way, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM))
- Parallel Explicit Model Checking for Generalized Büchi Automata (News year 2015, Has title Parallel Explicit Model Checking for Generalized Büchi Automata, Published in Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15))
- TextTrail: A Robust Text Tracking Algorithm In Wild Environments (News year 2015, Has title TextTrail: A Robust Text Tracking Algorithm In Wild Environments, Published in Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP))
- A Self-Adaptive Likelihood Function for Tracking with Particle Filter (News year 2015, Has title A Self-Adaptive Likelihood Function for Tracking with Particle Filter, Published in Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP))
- Single-pass Testing Automata for LTL Model Checking (News year 2015, Has title Single-pass Testing Automata for LTL Model Checking, Published in Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA'15))
- A Morphological Method for Music Score Staff Removal (News year 2014, Has title A Morphological Method for Music Score Staff Removal, Published in Proceedings of the 21st International Conference on Image Processing (ICIP))
- Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking (News year 2014, Has title Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking, Published in Proceedings of the IEEE International Ultrasonics Symposium (IUS))
- Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient (News year 2014, Has title Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient, Published in Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – Proceedings of the 19th Iberoamerican Congress on Pattern Recognition (CIARP))
- Improving the Model Checking of Stutter-Invariant LTL Properties (News year 2014, Has title Improving the Model Checking of Stutter-Invariant LTL Properties)
- Mechanizing the Minimization of Deterministic Generalized Büchi Automata (News year 2014, Has title Mechanizing the Minimization of Deterministic Generalized Büchi Automata, Published in Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14))
- Contribution aux tests de vacuité pour le model checking explicite (News year 2014, Has title Contribution aux tests de vacuité pour le model checking explicite)
- Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur (News year 2014, Has title Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur, Published in Actes du 19ème Congrès National sur Reconnaissance des Formes et l'Intelligence Artificielle (RFIA))
- Tree-Based Morse Regions: A Topological Approach to Local Feature Detection (News year 2014, Has title Tree-Based Morse Regions: A Topological Approach to Local Feature Detection, Published in IEEE Transactions on Image Processing)
- On Making nD Images Well-Composed by a Self-Dual Local Interpolation (News year 2014, Has title On Making nD Images Well-Composed by a Self-Dual Local Interpolation, Published in Proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery (DGCI))
- A Comparative Review of Component Tree Computation Algorithms (News year 2014, Has title A Comparative Review of Component Tree Computation Algorithms, Published in IEEE Transactions on Image Processing)
- GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification (News year 2014, Has title GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification, Published in Odyssey 2014, The Speaker and Language Recognition Workshop)
- Is There a Best Büchi Automaton for Explicit Model Checking? (News year 2014, Has title Is There a Best Büchi Automaton for Explicit Model Checking?, Published in Proceedings of the 21th International SPIN Symposium on Model Checking of Software (SPIN'14))
- Meaningful disjoint level lines selection (News year 2014, Has title Meaningful disjoint level lines selection, Published in Proceedings of the 21st International Conference on Image Processing (ICIP))
- A precise skew estimation algorithm for document images using KNN clustering and Fourier transform (News year 2014, Has title A precise skew estimation algorithm for document images using KNN clustering and Fourier transform, Published in Proceedings of the 21st International Conference on Image Processing (ICIP))
- A Type System for Weighted Automata and Rational Expressions (News year 2014, Has title A Type System for Weighted Automata and Rational Expressions, Published in Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14))
- A Morphological Tree of Shapes for Color Images (News year 2014, Has title A Morphological Tree of Shapes for Color Images, Published in Proceedings of the 22nd International Conference on Pattern Recognition (ICPR))
- LTL Translation Improvements in Spot 1.0 (News year 2014, Has title LTL Translation Improvements in Spot 1.0, Published in International Journal on Critical Computer-Based Systems)
- A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images (News year 2014, Has title A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images, Published in Proceedings of the 21st International Conference on Image Processing (ICIP))
- Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls (News year 2014, Has title Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls, Published in Proceedings of the 21st International Conference on Image Processing (ICIP))
- Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata (News year 2014, Has title Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata, Published in Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14))
- TiCL: the Prototype (Star TeX: the Next GenerationSeason 2) (News year 2013, Has title TiCL: the Prototype (Star TeX: the Next GenerationSeason 2), Published in TUGboat)
- The incredible tale of the author who didn't want to do the publisher's job (News year 2013, Has title The incredible tale of the author who didn't want to do the publisher's job, Published in TUGboat)
- Three SCC-based Emptiness Checks for Generalized Büchi Automata (News year 2013, Has title Three SCC-based Emptiness Checks for Generalized Büchi Automata, Published in Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13))
- Tree-based shape spaces: Definition and applications in image processing and computer vision (News year 2013, Has title Tree-based shape spaces: Definition and applications in image processing and computer vision)
- Resources for the DAS 2014 submission (News year 2013, Has title Planting, Growing and Pruning Trees: Connected Filters Applied to Document Image Analysis, Published in Proceedings of the 11th IAPR International Workshop on Document Analysis Systems (DAS))
- A comparison of many max-tree computation algorithms (News year 2013, Has title A comparison of many max-tree computation algorithms, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM))
- Compositional Approach to Suspension and Other Improvements to LTL Translation (News year 2013, Has title Compositional Approach to Suspension and Other Improvements to LTL Translation, Published in Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN'13))
- Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach (News year 2013, Has title Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach, Published in IEEE Transactions on Audio, Speech, and Language Processing)
- Salient Level Lines Selection Using the Mumford-Shah Functional (News year 2013, Has title Salient Level Lines Selection Using the Mumford-Shah Functional, Published in Proceedings of the 20th International Conference on Image Processing (ICIP))
- Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity (News year 2013, Has title Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM))
- Discrete set-valued continuity and interpolation (News year 2013, Has title Discrete set-valued continuity and interpolation, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM))
- A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images (News year 2013, Has title A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM))
- LTL Model Checking with Neco (News year 2013, Has title LTL Model Checking with Neco, Published in Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13))
- Text detection in street level image (News year 2013, Has title Text detection in street level image, Published in Pattern Analysis and Applications)
- Manipulating LTL formulas using Spot 1.0 (News year 2013, Has title Manipulating LTL formulas using Spot 1.0, Published in Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13))
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking (News year 2013, Has title Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking, Published in Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13))
- Efficient Multiscale Sauvola's Binarization (News year 2013, Has title Efficient Multiscale Sauvola's Binarization, Published in International Journal of Document Analysis and Recognition (IJDAR))
- Implementation Concepts in Vaucanson 2 (News year 2013, Has title Implementation Concepts in Vaucanson 2, Published in Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13))
- JSPP: Morphing C++ into JavaScript (News year 2012, Has title JSPP: Morphing C++ into JavaScript)
- MITLL 2012 Speaker Recognition Evaluation System Description (News year 2012, Has title MITLL 2012 Speaker Recognition Evaluation System Description, Published in NIST Speaker Recognition Evaluation)
- Model Checking using Generalized Testing Automata (News year 2012, Has title Model Checking using Generalized Testing Automata, Published in Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI))
- Star TeX : the Next Generation (News year 2012, Has title Star TeX : the Next Generation, Published in TUGboat)
- Extensible languages: blurring the distinction between DSLs and GPLs (News year 2012, Has title Extensible languages: blurring the distinction between DSLs and GPLs, Published in Formal and Practical Aspects of Domain-Specific Languages: Recent Developments)
- First Attempt at Boltzmann Machines for Speaker Recognition (News year 2012, Has title First Attempt at Boltzmann Machines for Speaker Recognition, Published in Odyssey Speaker and Language Recognition Workshop)
- Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes (News year 2012, Has title Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes)
- Motion compensation based on Tangent Distance prediction for video compression (News year 2012, Has title Motion compensation based on Tangent Distance prediction for video compression, Published in Signal Processing: Image Communication)
- Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations (News year 2012, Has title Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations, Published in Proceedings of the 21st International Conference on Pattern Recognition (ICPR))
- Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes (News year 2012, Has title Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes, Published in Proceedings of the 19th International Conference on Image Processing (ICIP))
- Generic Image Processing with Climb (News year 2012, Has title Generic Image Processing with Climb, Published in European Lisp Symposium)
- Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework (News year 2012, Has title Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework, Published in WADGMM 2010)
- Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework (News year 2012, Has title Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework, Published in Proceedings of the Workshop on Applications of Digital Geometry and Mathematical Morphology (WADGMM))
- Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them (News year 2011, Has title Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them, Published in Onward! 2011)
- A Channel-Blind System for Speaker Verification (News year 2011, Has title A Channel-Blind System for Speaker Verification, Published in International Conference on Acoustics, Speech and Signal Processing (ICASSP))
- Front-End Factor Analysis For Speaker Verification (News year 2011, Has title Front-End Factor Analysis For Speaker Verification, Published in IEEE Transactions on Audio, Speech, and Language Processing)
- Language Recognition via I-Vectors and Dimensionality Reduction (News year 2011, Has title Language Recognition via I-Vectors and Dimensionality Reduction, Published in INTERSPEECH 2011)
- Generalized Büchi Automata versus Testing Automata for Model Checking (News year 2011, Has title Generalized Büchi Automata versus Testing Automata for Model Checking, Published in Proceedings of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO'11))
- Towards a Software Architecture for Generic Image Processing (News year 2011, Has title Towards a Software Architecture for Generic Image Processing)
- Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking (News year 2011, Has title Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking)
- Towards LaTeX Coding Standards (News year 2011, Has title Towards LaTeX Coding Standards, Published in TUGboat)
- Une approche générique du logiciel pour le traitement d'images préservant les performances (News year 2011, Has title Une approche générique du logiciel pour le traitement d'images préservant les performances, Published in Proceedings of the 23rd Symposium on Signal and Image Processing (GRETSI))
- The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis (News year 2011, Has title The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis, Published in Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR))
- LTL Translation Improvements in Spot (News year 2011, Has title LTL Translation Improvements in Spot, Published in Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11))
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking (News year 2011, Has title Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking, Published in Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11))
- CLoX: Common Lisp objects for XEmacs (News year 2010, Has title CLoX: Common Lisp objects for XEmacs, Published in Proceedings of the 3rd European Lisp Symposium)
- Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification (News year 2010, Has title Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification, Published in Odyssey The Speaker and Language Recognition)
- Cosine Similarity Scoring without Score Normalization Techniques (News year 2010, Has title Cosine Similarity Scoring without Score Normalization Techniques, Published in Odyssey The Speaker and Language Recognition)
- LRDE Speaker Recognition System for NIST-SRE 2010 (News year 2010, Has title LRDE Speaker Recognition System for NIST-SRE 2010, Published in NIST 2010 Speaker Recognition Evaluation)
- Revisiting the Visitor: the Just Do It Pattern (News year 2010, Has title Revisiting the Visitor: the Just Do It Pattern, Published in Journal of Universal Computer Science)
- SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes (News year 2010, Has title SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes, Published in Proceedings of the IEEE International Conference on Image Processing (ICIP))
- polyDD: Towards a Framework Generalizing Decision Diagrams (News year 2010, Has title polyDD: Towards a Framework Generalizing Decision Diagrams, Published in Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD))
- Morphologie et algorithmes (News year 2010, Has title Morphologie et algorithmes, Published in Morphologie mathématique 2 : estimation, choix et mise en œuvre)
- Algorithms for Mathematical Morphology (News year 2010, Has title Algorithms for Mathematical Morphology, Published in Mathematical Morphology—From Theory to Applications)
- NixOS: A purely functional Linux distribution (News year 2010, Has title NixOS: A purely functional Linux distribution, Published in Journal of Functional Programming)
- Classes, Styles, Conflicts: the Biological Realm of LaTeX (News year 2010, Has title Classes, Styles, Conflicts: the Biological Realm of LaTeX, Published in TUGboat)
- Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library (News year 2010, Has title Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library, Published in Proceedings of the IEEE International Conference on Image Processing (ICIP))
- Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification (News year 2009, Has title Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification)
- Génération efficace de grands espaces d'états (News year 2009, Has title Génération efficace de grands espaces d'états)
- Cepstral and Long-Term Features for Emotion Recognition (News year 2009, Has title Cepstral and Long-Term Features for Emotion Recognition, Published in Interspeech)
- Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification (News year 2009, Has title Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification, Published in Interspeech)
- Support Vector Machines and Joint Factor Analysis for Speaker Verification (News year 2009, Has title Support Vector Machines and Joint Factor Analysis for Speaker Verification, Published in IEEE-ICASSP)
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation (News year 2009, Has title Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation, Published in Fundamenta Informaticae)
- CLOS Efficiency: Instantiation (News year 2009, Has title CLOS Efficiency: Instantiation, Published in Proceedings of the International Lisp Conference)
- Binary Methods Programming: the CLOS Perspective (News year 2009, Has title Binary Methods Programming: the CLOS Perspective, Published in Proceedings of the First European Lisp Symposium)
- Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images (News year 2009, Has title Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the Ninth International Symposium on Mathematical Morphology (ISMM))
- On-the-fly Emptiness Check of Transition-based Streett Automata (News year 2009, Has title On-the-fly Emptiness Check of Transition-based Streett Automata, Published in Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09))
- Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) (News year 2008, Has title Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2), Published in Proceedings of the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL))
- TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing (News year 2008, Has title TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing, Published in Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09))
- Global Optimization for First Order Markov Random Fields with Submodular Priors (News year 2008, Has title Global Optimization for First Order Markov Random Fields with Submodular Priors, Published in Proceedings of the twelfth International Workshop on Combinatorial Image Analysis (IWCIA'08))
- Semantics driven disambiguation: A comparison of different approaches (News year 2008, Has title Semantics driven disambiguation: A comparison of different approaches, Published in Proceedings of the 8th workshop on Language DescriptionsTools and Applications (LDTA'08))
- A Set of Tools to Teach Compiler Construction (News year 2008, Has title A Set of Tools to Teach Compiler Construction, Published in Proceedings of the Thirteenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'08))
- An XML format proposal for the description of weighted automata, transducers, and regular expressions (News year 2008, Has title An XML format proposal for the description of weighted automata, transducers, and regular expressions, Published in Post-proceedings of the seventh international workshop on Finite-State Methods and Natural Language Processing (FSMNLP'08))
- The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation (News year 2008, Has title The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation, Published in NIST-SRE 2008)
- Revisiting the Visitor: the Just Do It Pattern (News year 2008, Has title Revisiting the Visitor: the Just Do It Pattern, Published in Proceedings of the ACCU Conference 2009)
- Report on the 5th Workshop ELW at ECOOP 2008 (News year 2008, Has title Report on the 5th Workshop ELW at ECOOP 2008, Published in Object-Oriented Technology. ECOOP 2008 Workshop Reader)
- Binary Methods Programming: the CLOS Perspective (extended version) (News year 2008, Has title Binary Methods Programming: the CLOS Perspective (extended version), Published in Journal of Universal Computer Science)
- A Survey of French Local e-Democracy (News year 2008, Has title A Survey of French Local e-Democracy, Published in Proceedings of the 8th European Conference on e-Government (ECEG))
- Towards the World-Wide Quantum Network (News year 2008, Has title Towards the World-Wide Quantum Network, Published in Proceedings of the 4th Information Security Practice and Experience Conference (ISPEC'08))
- Approximate Nash Equilibria for Multi-Player Games (News year 2008, Has title Approximate Nash Equilibria for Multi-Player Games, Published in 1st International Symposium on Algorithmic Games Theory)
- Hierarchical Set Decision Diagrams and Automatic Saturation (News year 2008, Has title Hierarchical Set Decision Diagrams and Automatic Saturation, Published in Petri Nets and Other Models of Concurrency –ICATPN 2008)
- Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification (News year 2007, Has title Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification, Published in Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008))
- Kernel Combination for SVM Speaker Verification (News year 2007, Has title Kernel Combination for SVM Speaker Verification, Published in Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008))
- Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification (News year 2007, Has title Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification, Published in Proceedings of the European Conference on Speech Communication and Technologies (Interspeech'07))
- Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging (News year 2007, Has title Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging, Published in Proceedings of the IEEE International Conference on Image Processing (ICIP))
- Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire (News year 2007, Has title Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire, Published in Proceedings of the 21st Symposium on Signal and Image Processing (GRETSI))
- On the security of quantum networks: a proposal framework and its capacity (News year 2007, Has title On the security of quantum networks: a proposal framework and its capacity, Published in Proceedings of the 2007 International Conference on New Technologies, Mobility and Security (NTMS'07))
- The Role of Speaker Factors in the NIST Extended Data Task (News year 2007, Has title The Role of Speaker Factors in the NIST Extended Data Task, Published in Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008))
- Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation (News year 2007, Has title Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation, Published in Proceedings of the 6th IAPR TC-15 Workshop on Graph-based Representations in Pattern Recognition (GBR))
- CLOS solutions to binary methods (News year 2007, Has title CLOS solutions to binary methods, Published in Proceedings of the International MultiConference of Engineers and Computer Scientists)
- How to make Lisp go faster than C (News year 2007, Has title How to make Lisp go faster than C, Published in Proceedings of the International MultiConference of Engineers and Computer Scientists)
- 10 years of confrontation between French Internet users and their successive governments (News year 2007, Has title 10 years of confrontation between French Internet users and their successive governments, Published in Proceedings of the 7th European Conference on e-Government (ECEG))
- Web services at TERAPIX (News year 2007, Has title Web services at TERAPIX, Published in Proceedings of the XVII conference on Astronomical Data Analysis Software & Systems (ADASS))
- libDMC: a library to Operate Efficient Distributed Model Checking (News year 2007, Has title libDMC: a library to Operate Efficient Distributed Model Checking, Published in Workshop on Performance Optimization for High-Level Languages and Libraries — associated to IPDPS'2007)
- Stochastic routing in large grid-shaped quantum networks (News year 2006, Has title Stochastic routing in large grid-shaped quantum networks, Published in Proceedings of the Fifth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'07))
- Probabilistic Verification of Sensor Networks (News year 2006, Has title Probabilistic Verification of Sensor Networks, Published in Proceedings of the Fourth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'06))
- Modeling of Sensor Networks Using XRM (News year 2006, Has title Modeling of Sensor Networks Using XRM, Published in Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06))
- LRDE System description (News year 2006, Has title LRDE System description, Published in NIST SRE'06 Workshop: speaker recognition evaluation campaign)
- Attribute Grammars for Modular Disambiguation (News year 2006, Has title Attribute Grammars for Modular Disambiguation, Published in Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06))
- A Note on the Discrete Binary Mumford-Shah Model (News year 2006, Has title A Note on the Discrete Binary Mumford-Shah Model, Published in Proceedings of the international Computer Vision / Computer Graphics Collaboration Techniques and Applications (MIRAGE 2007))
- The use of levelable regularization functions for MRF restoration of SAR images (News year 2006, Has title The use of levelable regularization functions for MRF restoration of SAR images, Published in Proceedings of the 19th Symposium SPIE on Electronic Imaging)
- A note on nice-levelable MRFs for SAR image denoising with contrast preservation (News year 2006, Has title A note on nice-levelable MRFs for SAR image denoising with contrast preservation)
- Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials (News year 2006, Has title Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials, Published in SIAM Conference on Imaging Sciences)
- Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case (News year 2006, Has title Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case, Published in Journal of Mathematical Imaging and Vision)
- Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization (News year 2006, Has title Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization, Published in Journal of Mathematical Imaging and Vision)
- Approximate Probabilistic Model Checking for Programs (News year 2006, Has title Approximate Probabilistic Model Checking for Programs, Published in Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06))
- On a Polynomial Vector Field Model for Shape Representation (News year 2006, Has title On a Polynomial Vector Field Model for Shape Representation, Published in Proceedings of the International Conference on Image Analysis and Recognition (ICIAR))
- Evaluating complex MAC protocols for sensor networks with APMC (News year 2006, Has title Evaluating complex MAC protocols for sensor networks with APMC, Published in Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS))
- Project EFIGI: Automatic classification of galaxies (News year 2006, Has title Project EFIGI: Automatic classification of galaxies, Published in Astronomical Data Analysis Software and Systems XV)
- Shape-based hand recognition (News year 2006, Has title Shape-based hand recognition, Published in IEEE Transactions on Image Processing)
- How to make Lisp go faster than C (News year 2006, Has title How to make Lisp go faster than C, Published in IAENG International Journal of Computer Science)
- ENST-IRCGN System Description (News year 2006, Has title ENST-IRCGN System Description, Published in NIST SRE'06 Workshop: speaker recognition evaluation campaign)
- An Efficient Algorithm for Connected Attribute Thinnings and Thickenings (News year 2006, Has title An Efficient Algorithm for Connected Attribute Thinnings and Thickenings, Published in Proceedings of the second International Conference on Visual Computing)
- APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains (News year 2006, Has title APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains, Published in Proceedings of Qest 2006)
- The Biosecure Geometry-based System for Hand Modality (News year 2006, Has title The Biosecure Geometry-based System for Hand Modality, Published in Proceedings of the 32nd IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP))
- Practical Application of Probabilistic Model Checking to Communication Protocols (News year 2006, Has title Practical Application of Probabilistic Model Checking to Communication Protocols, Published in FMICS Handbook on Industrial Critical Systems)
- Uniform Random Sampling of Traces in Very Large Models (News year 2006, Has title Uniform Random Sampling of Traces in Very Large Models, Published in Proceedings of the 1st international workshop on Random Testing 2006 (RT06))
- Beating C in Scientific Computing Applications (News year 2006, Has title Beating C in Scientific Computing Applications, Published in Third European Lisp Workshop at ECOOP)
- Making Compiler Construction Projects Relevant to Core Curriculums (News year 2005, Has title Making Compiler Construction Projects Relevant to Core Curriculums, Published in Proceedings of the Tenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'05))
- Spatial reasoning with relative incomplete information on relative positioning (News year 2005, Has title Spatial reasoning with relative incomplete information on relative positioning, Published in IEEE Transactions on Pattern Analysis and Machine Intelligence)
- A fast and exact algorithm for total variation minimization (News year 2005, Has title A fast and exact algorithm for total variation minimization)
- Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images (News year 2005, Has title Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images)
- A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization (News year 2005, Has title A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization, Published in Proceedings of the First International Conference on Visual Computing)
- Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter (News year 2005, Has title Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter, Published in Proceedings of the 4th International Symposium on Image and Signal Processing and Analysis (ISPA 2005))
- A Fast and Exact Algorithm for Total Variation Minimization (News year 2005, Has title A Fast and Exact Algorithm for Total Variation Minimization, Published in Proceedings of the 2nd Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA))
- An efficient algorithm for attribute openings and closings (News year 2005, Has title An efficient algorithm for attribute openings and closings, Published in Proceedings of the 13th European Signal Processing Conference (EUSIPCO))
- Inside Vaucanson (News year 2005, Has title Inside Vaucanson, Published in Proceedings of Implementation and Application of Automata10th International Conference (CIAA))
- C-Transformers — A Framework to Write C Program Transformations (News year 2005, Has title C-Transformers — A Framework to Write C Program Transformations, Published in ACM Crossroads)
- Probabilistic verification and approximation (News year 2005, Has title Probabilistic verification and approximation, Published in Proceedings of 12th Workshop on Logic, LanguageInformation and Computation (Wollic))
- Probabilistic abstraction for model checking: an approach based on property testing (News year 2005, Has title Probabilistic abstraction for model checking: an approach based on property testing, Published in ACM Transactions on Computational Logic)
- Distribution, approximation and probabilistic model checking (News year 2005, Has title Distribution, approximation and probabilistic model checking, Published in Proceedings of the 4th international workshop on Parallel and Distributed Model Checking (PDMC))
- Ruminations on Tarjan's Union-Find algorithm and connected operators (News year 2005, Has title Ruminations on Tarjan's Union-Find algorithm and connected operators, Published in Proceedings of the 7th International Symposium on Mathematical Morphology (ISMM'05))
- Exact optimization of discrete constrained total variation minimization problems (News year 2004, Has title Exact optimization of discrete constrained total variation minimization problems)
- Exact optimization of discrete constrained total variation minimization problems (News year 2004, Has title Exact optimization of discrete constrained total variation minimization problems, Published in Proceedings of the 10th International Workshop on Combinatorial Image Analysis (IWCIA))
- Generic algorithmic blocks dedicated to image processing (News year 2004, Has title Generic algorithmic blocks dedicated to image processing, Published in Proceedings of the ECOOP Workshop for PhD Students)
- Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI (News year 2004, Has title Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI, Published in Pattern Recognition Letters)
- Person authentication based on hand shape (News year 2004, Has title Person authentication based on hand shape, Published in Proceedings of 12th European Signal Processing Conference (EUSIPCO))
- Proposal: an XML representation for automata (News year 2004, Has title Proposal: an XML representation for automata)
- Metagene, a C++ meta-program generation tool (News year 2004, Has title Metagene, a C++ meta-program generation tool, Published in Proceedings of the Workshop on Multiple Paradigm with OO Languages (MPOOL; in conjunction with ECOOP))
- Introducing Vaucanson (News year 2004, Has title Introducing Vaucanson, Published in Theoretical Computer Science)
- Unified texture management for arbitrary meshes (News year 2004, Has title Unified texture management for arbitrary meshes)
- A novel method to fight the non line of sight error in AOA measurements for mobile location (News year 2004, Has title A novel method to fight the non line of sight error in AOA measurements for mobile location, Published in Proceedings of the IEEE International Conference on Communications (ICC))
- Fast road network extraction in satellite images using mathematical morphology and Markov random fields (News year 2004, Has title Fast road network extraction in satellite images using mathematical morphology and Markov random fields, Published in EURASIP Journal on Applied Signal Processing)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC (News year 2004, Has title Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC, Published in Proceedings of the 4th International Workshop on Automated Verification of Critical Systems (AVoCS))
- Fast color image segmentation based on levellings in feature Space (News year 2004, Has title Fast color image segmentation based on levellings in feature Space, Published in Computer Vision and Graphics—International Conference on Computer Vision and Graphics (ICCVG), Warsaw, PolandSeptember 2004)
- A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming (News year 2003, Has title A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming, Published in Proceedings of the Workshop on Multiple Paradigm with Object-Oriented Languages (MPOOL))
- Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging (News year 2003, Has title Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging, Published in Artificial Intelligence)
- Multi-band segmentation using morphological clustering and fusion application to color image segmentation (News year 2003, Has title Multi-band segmentation using morphological clustering and fusion application to color image segmentation, Published in Proceedings of the IEEE International Conference on Image Processing (ICIP))
- On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson (News year 2003, Has title On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson, Published in Proceedings of the Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP))
- Program templates: expression templates applied to program evaluation (News year 2003, Has title Program templates: expression templates applied to program evaluation, Published in Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages (DP-COOL; in conjunction with PLI))
- Introducing Vaucanson (News year 2003, Has title Introducing Vaucanson, Published in Proceedings of Implementation and Application of Automata8th International Conference (CIAA'03))
- Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF (News year 2003, Has title Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF, Published in Proceedings of the EURASIP Workshop on Nonlinear Signal and Image Processing (NSIP))
- 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 (News year 2003, Has title 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, Published in Proceedings of the International Conference on Image and Signal Processing (ICISP))
- Segmentation of curvilinear objects using a watershed-based curve adjacency graph (News year 2003, Has title Segmentation of curvilinear objects using a watershed-based curve adjacency graph, Published in Proceedings of the 1st Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA))
- Document type recognition using evidence theory (News year 2003, Has title Document type recognition using evidence theory, Published in Proceedings of the 5th IAPR International Workshop on Graphics Recognition (GREC))
- Polar type inference with intersection types and ω (News year 2002, Has title Polar type inference with intersection types and ω, Published in Proceedings of the 2nd Workshop on Intersection Types and Related Systems (ITRS), published in: Electronic Notes in Theoretical Computer Science)
- Generic implementation of morphological image operators (News year 2002, Has title Generic implementation of morphological image operators, Published in Mathematical Morphology, Proceedings of the 6th International Symposium (ISMM))
- Error correcting code performance for watermark protection (News year 2001, Has title Error correcting code performance for watermark protection, Published in Proceedings of the 13th Symposium SPIE on Electronic Imaging—-Security and Watermarking of Multimedia Contents III (EI27))
- Visualization issues in virtual environments: from computer graphics techniques to intentional visualization (News year 2001, Has title Visualization issues in virtual environments: from computer graphics techniques to intentional visualization, Published in Proceedings of the 9th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG))
- Virtual reality and tele-operation: a common framework (News year 2001, Has title Virtual reality and tele-operation: a common framework, Published in Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI)—Emergent Computing and Virtual Engineering)
- Segmentation d'images en couleur par classification morphologique non supervisée (News year 2001, Has title Segmentation d'images en couleur par classification morphologique non supervisée, Published in Proceedings of the International Conference on Image and Signal Processing (ICISP))
- Color image segmentation based on automatic morphological clustering (News year 2001, Has title Color image segmentation based on automatic morphological clustering, Published in Proceedings of the IEEE International Conference on Image Processing (ICIP))
- Generic design patterns in C++ (News year 2001, Has title Generic design patterns in C++, Published in Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS))
- Expression templates in Ada 95 (News year 2001, Has title Expression templates in Ada 95, Published in Proceedings of the 6th International Conference on Reliable Software Technologies (Ada-Europe))
- Applying generic programming to image processing (News year 2001, Has title Applying generic programming to image processing, Published in Proceedings of the IASTED International Conference on Applied Informatics (AI)—Symposium on Advances in Computer Applications)
- Action recognition: how intelligent virtual environments can ease human-machine interaction (News year 2000, Has title Action recognition: how intelligent virtual environments can ease human-machine interaction, Published in Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop)
- Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues (News year 2000, Has title Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues, Published in Actes du 12ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA))
- Obtaining genericity for image processing and pattern recognition algorithms (News year 2000, Has title Obtaining genericity for image processing and pattern recognition algorithms, Published in Proceedings of the 15th International Conference on Pattern Recognition (ICPR))
- A framework to dynamically manage distributed virtual environments (News year 2000, Has title A framework to dynamically manage distributed virtual environments, Published in Proceedings of the 2nd International Conference on Virtual Worlds (VW))
- Urbi et Orbi: unusual design and implementation choices for distributed virtual environments (News year 2000, Has title Urbi et Orbi: unusual design and implementation choices for distributed virtual environments, Published in Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop)
- An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments (News year 2000, Has title An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments, Published in Virtual Environments 2000, Proceedings of the 6th Eurographics Workshop on Virtual Environments (EGVE))
- Olena: a component-based platform for image processingmixing generic, generative and OO programming (News year 2000, Has title Olena: a component-based platform for image processingmixing generic, generative and OO programming, Published in Proceedings of the 2nd International Symposium on Generative and Component-Based Software Engineering (GCSE)—Young Researchers Workshop; published in “Net.ObjectDays2000”)
- Generic programming redesign of patterns (News year 2000, Has title Generic programming redesign of patterns, Published in Proceedings of the 5th European Conference on Pattern Languages of Programs (EuroPLoP))
- Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images (News year 1999, Has title Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images)
- Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information (News year 1999, Has title Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information, Published in Proceeding of CIMAF Symposium on Artificial Intelligence)
- Vers une réutilisabilité totale des algorithmes de traitement d'images (News year 1999, Has title Vers une réutilisabilité totale des algorithmes de traitement d'images, Published in Proceedings of the 17th Symposium on Signal and Image Processing (GRETSI))