# News

### From LRDE

2020

- 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)
- 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)
- 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)

(Dynamic (Programming Paradigms)) ;; Performance and Expressivity

A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D

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

2007

- 10 years of confrontation between French Internet users and their successive governments (Published in Proceedings of the 7th European Conference on e-Government (ECEG))
- 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))

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

2016

- 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)

A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI

A Study of Well-Composedness in n-D

2011

- A Channel-Blind System for Speaker Verification (Published in International Conference on Acoustics, Speech and Signal Processing (ICASSP))

A Channel-Blind System for Speaker Verification

2015

- 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))
- 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))

A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation

A Tree of Shapes for Multivariate Images

A self-adaptive likelihood function for tracking with particle filter

2014

- A Comparative Review of Component Tree Computation Algorithms (Published in IEEE Transactions on Image Processing)
- 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))
- A Morphological Method for Music Score Staff Removal (Published in Proceedings of the 21st International Conference on Image Processing (ICIP))
- A Morphological Tree of Shapes for Color Images (Published in Proceedings of the 22nd International Conference on Pattern Recognition (ICPR))
- A Type System for Weighted Automata and Rational Expressions (Published in Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14))
- 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 Comparative Review of Component Tree Computation Algorithms

A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images

A Morphological Method for Music Score Staff Removal

A Morphological Tree of Shapes for Color Images

A Type System for Weighted Automata and Rational Expressions

A precise skew estimation algorithm for document images using KNN clustering and Fourier transform

2005

- A Fast and Exact Algorithm for Total Variation Minimization (Published in Proceedings of the 2nd Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA))
- A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization (Published in Proceedings of the First International Conference on Visual Computing)
- An efficient algorithm for attribute openings and closings (Published in Proceedings of the 13th European Signal Processing Conference (EUSIPCO))

A Fast and Exact Algorithm for Total Variation Minimization

A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization

A fast and exact algorithm for total variation minimization

An efficient algorithm for attribute openings and closings

2018

- A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers (Published in 25th IEEE Symposium on Computer Arithmetic)
- A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams (Published in ACM Transactions on Computational Logic)
- 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))
- 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))
- Approaches in Typecase Optimization (Published in European Lisp Symposium)

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

A first step toward a fair comparison of evaluation protocols for text detection algorithms

An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming

Approaches in Typecase Optimization

2006

- 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))
- APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains (Published in Proceedings of Qest 2006)
- An Efficient Algorithm for Connected Attribute Thinnings and Thickenings (Published in Proceedings of the second International Conference on Visual Computing)
- Approximate Probabilistic Model Checking for Programs (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

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

An Efficient Algorithm for Connected Attribute Thinnings and Thickenings

Approximate Probabilistic Model Checking for Programs

2013

- 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))
- 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))

A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images

A comparison of many max-tree computation algorithms

2008

- 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))
- A Survey of French Local e-Democracy (Published in Proceedings of the 8th European Conference on e-Government (ECEG))
- 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))
- Approximate Nash Equilibria for Multi-Player Games (Published in 1st International Symposium on Algorithmic Games Theory)

A Set of Tools to Teach Compiler Construction

A Survey of French Local e-Democracy

An XML format proposal for the description of weighted automata, transducers, and regular expressions

Approximate Nash Equilibria for Multi-Player Games

2017

- A Tutorial on Well-Composedness (Published in Journal of Mathematical Imaging and Vision)
- Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis (Published in Comprehensive Remote Sensing, 1st Edition)

A Tutorial on Well-Composedness

Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis

Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set

2000

- A framework to dynamically manage distributed virtual environments (Published in Proceedings of the 2nd International Conference on Virtual Worlds (VW))
- 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)
- 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))

A framework to dynamically manage distributed virtual environments

Action recognition: how intelligent virtual environments can ease human-machine interaction

An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments

2004

- 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))

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 (Published in Proceedings of the Workshop on Multiple Paradigm with Object-Oriented Languages (MPOOL))

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

2010

- Algorithms for Mathematical Morphology (Published in Mathematical Morphology—From Theory to Applications)

Algorithms for Mathematical Morphology

2019

- 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))

An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D

2001

- Applying generic programming to image processing (Published in Proceedings of the IASTED International Conference on Applied Informatics (AI)—Symposium on Advances in Computer Applications)

Applying generic programming to image processing

1999

- Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information (Published in Proceeding of CIMAF Symposium on Artificial Intelligence)

Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information