News

2020

• (Dynamic (Programming Paradigms)) ;; Performance and Expressivity (Has title (Dynamic (Programming Paradigms)) ;; Performance and Expressivity)
• A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D (Has title A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D)
• A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging (Has title A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging)
• A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers (Has title A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers)
• A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation (Has title A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation)
• A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images (Has title A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images)

2007

• 10 years of confrontation between French Internet users and their successive governments (Has title 10 years of confrontation between French Internet users and their successive governments)
• Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire (Has title Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire)

2022

• A Benchmark of Named Entity Recognition Approaches in Historical Documents (Has title A Benchmark of Named Entity Recognition Approaches in Historical Documents)
• A Kleene Theorem for Higher-Dimensional Automata (Has title A Kleene Theorem for Higher-Dimensional Automata)
• A Modern C++ Point of View of Programming in Image Processing (Has title A Modern C++ Point of View of Programming in Image Processing)

2016

• A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI (Has title A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI)
• A Study of Well-Composedness in n-D (Has title A Study of Well-Composedness in n-D)

2011

• A Channel-Blind System for Speaker Verification (Has title A Channel-Blind System for Speaker Verification)

2015

• A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation (Has title A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation)
• A Self-Adaptive Likelihood Function for Tracking with Particle Filter (Has title A Self-Adaptive Likelihood Function for Tracking with Particle Filter)
• A Tree of Shapes for Multivariate Images (Has title A Tree of Shapes for Multivariate Images)

2014

• A Comparative Review of Component Tree Computation Algorithms (Has title A Comparative Review of Component Tree Computation Algorithms)
• A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images (Has title A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images)
• A Morphological Method for Music Score Staff Removal (Has title A Morphological Method for Music Score Staff Removal)
• A Morphological Tree of Shapes for Color Images (Has title A Morphological Tree of Shapes for Color Images)
• A Type System for Weighted Automata and Rational Expressions (Has title A Type System for Weighted Automata and Rational Expressions)
• A precise skew estimation algorithm for document images using KNN clustering and Fourier transform (Has title A precise skew estimation algorithm for document images using KNN clustering and Fourier transform)

2021

• A Corpus Processing and Analysis Pipeline for Quickref (Has title A Corpus Processing and Analysis Pipeline for Quickref)
• A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation (Has title A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation)
• A Portable, Simple, Embeddable Type System (Has title A Portable, Simple, Embeddable Type System)
• A Secure Blockchain-Based Architecture for the COVID-19 Data Network (Has title A Secure Blockchain-Based Architecture for the COVID-19 Data Network)
• A blockchain-based certificate revocation management and status verification system (Has title A blockchain-based certificate revocation management and status verification system)
• AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation (Has title AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation)

2005

• A Fast and Exact Algorithm for Total Variation Minimization (Has title A Fast and Exact Algorithm for Total Variation Minimization)
• A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization (Has title A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization)
• A fast and exact algorithm for total variation minimization (Has title A fast and exact algorithm for total variation minimization)

2018

• A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers (Has title A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers)
• A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams (Has title A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams)
• A first step toward a fair comparison of evaluation protocols for text detection algorithms (Has title A first step toward a fair comparison of evaluation protocols for text detection algorithms)

2023

• A Myhill-Nerode Theorem for Higher-Dimensional Automata (Has title A Myhill-Nerode Theorem for Higher-Dimensional Automata)

2006

• A Note on the Discrete Binary Mumford-Shah Model (Has title A Note on the Discrete Binary Mumford-Shah Model)
• A note on nice-levelable MRFs for SAR image denoising with contrast preservation (Has title A note on nice-levelable MRFs for SAR image denoising with contrast preservation)
• APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains (Has title APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains)

2013

• A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images (Has title A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images)
• A comparison of many max-tree computation algorithms (Has title A comparison of many max-tree computation algorithms)

2008

• A Set of Tools to Teach Compiler Construction (Has title A Set of Tools to Teach Compiler Construction)
• A Survey of French Local e-Democracy (Has title A Survey of French Local e-Democracy)

2017

• A Tutorial on Well-Composedness (Has title A Tutorial on Well-Composedness)
• Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis (Has title Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis)

2000

• A framework to dynamically manage distributed virtual environments (Has title A framework to dynamically manage distributed virtual environments)
• Action recognition: how intelligent virtual environments can ease human-machine interaction (Has title Action recognition: how intelligent virtual environments can ease human-machine interaction)

2004

• A novel method to fight the non line of sight error in AOA measurements for mobile location (Has title A novel method to fight the non line of sight error in AOA measurements for mobile location)

2003

• A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming (Has title A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming)

2010

• Algorithms for Mathematical Morphology (Has title Algorithms for Mathematical Morphology)

... further results