Property

Has title

From LRDE

Showing 100 pages using this property.
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 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 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 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 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  +
Algorithmes sur les Transducteurs  +
Algorithms for Mathematical Morphology  +
Algorithms on Transducers  +
Alternate Fictitious Play study and implementation  +
Alternating automata support  +
Amélioration de la base d'entraînement d'un classifieur k-nn d'OCR  +
Amélioration de la composition des transducteurs dans Vaucanson  +
Amélioration de la dégénéralisation dans Spot  +
Amélioration de la réduction par simulation  +
Améliorer Horn-Schunck  +
Améliorer l'architecture de Vaucanson 2  +
Améliorer la determinisation d'automates de Büchi  +
An Efficient Algorithm for Connected Attribute Thinnings and Thickenings  +
An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D  +
An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D  +
An Experience Report on the Optimization of the Product Configuration System of Renault  +
An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming  +
An Innovative and Decentralized Identity Framework Based on Blockchain Technology  +
An XML format proposal for the description of weighted automata, transducers, and regular expressions  +
An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments  +
An edge-based attribute filter dedicated to image segmentation  +
An efficient algorithm for attribute openings and closings  +
An efficient implementation of transition-based generalized Büchi automaton determinization  +
An implementation of the C++ container library with SCOOL  +
An interpreter for Vaucanson  +
An interpreter for Vaucanson  +
An overview of Scoop, a static object-oriented paradigm  +
An overview of Vaucanson  +
An overview of Vaucanson  +
Analyse de la mise en page d'un document dans SCRIBO  +
Analyse de performances dans Vaucanson  +
Analyse structurelle haut-niveau de document dans le module Scribo d'Olena  +
Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set  +
Analysis of the Vaucanson project  +
Analysis of the Vaucanson project  +
Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks  +
Applying generic programming to image processing  +
Apprentissage d'Opérations Morphologiques  +
Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution  +
Approaches in Typecase Optimization  +
Approche fonctionnelle de la généricité du traitement d'image  +
Approche parallèle pour le calcul de l'arbre des formes en n-dimensions  +
Approximate Nash Equilibria for Multi-Player Games  +
Approximate Probabilistic Model Checking for Programs  +
Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur  +
Aprentissage Actif d'Automates Visiblement á un compteur  +
Arbres de composantes et opérateurs de chaînage  +
Artificial states generation in state spaces using kernel density estimation  +
Artificial states generation in state spaces using kernel density estimation  +
Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information  +
Attribute Grammars for Modular Disambiguation  +