Has title
From LRDE
A
A Morphological Tree of Shapes for Color Images +
A Myhill-Nerode Theorem for Higher-Dimensional Automata +
A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation +
A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation +
A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation +
A Note on the Discrete Binary Mumford-Shah Model +
A Portable, Simple, Embeddable Type System +
A Promela front-end for Spot +
A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images +
A Secure Blockchain-Based Architecture for the COVID-19 Data Network +
A Self-Adaptive Likelihood Function for Tracking with Particle Filter +
A Set of Tools to Teach Compiler Construction +
A Study of Well-Composedness in n-D +
A Survey of French Local e-Democracy +
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams +
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams +
A Tree of Shapes for Multivariate Images +
A Tutorial on Well-Composedness +
A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images +
A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images +
A Type System for Weighted Automata and Rational Expressions +
A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization +
A blockchain-based certificate revocation management and status verification system +
A co-Büching Toolbox +
A comparative study of image invariants for text / non-text classification +
A comparison of many max-tree computation algorithms +
A fast algorithm for auto-dual trees +
A fast and exact algorithm for total variation minimization +
A first step toward a fair comparison of evaluation protocols for text detection algorithms +
A framework to dynamically manage distributed virtual environments +
A new translation from LTL into TGBA in Spot +
A note on nice-levelable MRFs for SAR image denoising with contrast preservation +
A novel method to fight the non line of sight error in AOA measurements for mobile location +
A precise skew estimation algorithm for document images using KNN clustering and Fourier transform +
A precise skew estimation algorithm for document images using KNN clustering and Fourier transform +
A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming +
A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming +
A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy +
AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation +
APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains +
About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time. +
Action recognition: how intelligent virtual environments can ease human-machine interaction +
Active Learning on Visibly One Counter Systems +
Adaptation d'algorithmes de Vaucanson à une interface plus simple +
Adaptation de l'algorithme de watershed cuts aux complexes cellulaires +
Adaptation of the watershed cuts algorithm to cellular complexes +
Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée +
Adapting Vaucanson algorithms to a simpler interface +
Adapting the data structures of Vaucanson to the concept of kind and a new interface +
Adaptive partial order reduction methods +
Adding Contracts to C++ with Transformers +
Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis +
Ajout de la programmation par contrats au C++ avec Transformers +
Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire +
Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire +
Algorithmes sur les Transducteurs +