Property

Has title

From LRDE

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Showing 500 pages using this property.
(
(Dynamic (Programming Paradigms)) ;; Performance and Expressivity  +
.
... Insert a title in French here ...  +
... Insert a title in French here ...  +
1
10 years of confrontation between French Internet users and their successive governments  +
A
A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D  +
A Benchmark of Named Entity Recognition Approaches in Historical Documents  +
A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI  +
A Channel-Blind System for Speaker Verification  +
A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation  +
A Comparative Review of Component Tree Computation Algorithms  +
A Corpus Processing and Analysis Pipeline for Quickref  +
A Fast and Exact Algorithm for Total Variation Minimization  +
A Feedback Arc Set for Spot  +
A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images  +
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers  +
A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging  +
A Kleene Theorem for Higher-Dimensional Automata  +
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers  +
A Modern C++ Point of View of Programming in Image Processing  +
A Morphological Method for Music Score Staff Removal  +
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  +
Attribute grammars for C++ disambiguation  +
Attribute grammars for C++ disambiguation  +
Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness  +
Automata Reduction  +
Automata in Natural Language Processing  +
Automatic Attribute Propagation for Modular Attribute Grammars  +
Automatic Attribute Propagation for Modular Attribute Grammars  +
Automatic Heart Segmentation  +
Automatic detection of text zones on identity documents.  +
Automatic maintenance of exported symbols in Common Lisp packages  +
Automatic segmentation of Cassini's maps  +
Automatic troll farm account detection on Twitter  +
Automatically Guided Selection of a Set of Underwater Calibration Images  +
Automation of Binary Analysis: From Open Source Collection to Threat Intelligence  +
Avancées vers Vaucanson 1.4 et 2.0  +
B
Banc d'essai de fonctions de coûts appliquées á la segmentation de tumeurs cérébrales  +
Beating C in Scientific Computing Applications  +
Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge  +
Benchmarking Keypoint Filtering Approaches for Document Image Matching  +
Benchmarking Vaucanson and large C++ libraries  +
Benchmarking of Partial Order Reduction in Spot  +
Binary Methods Programming: the CLOS Perspective  +
Binary Methods Programming: the CLOS Perspective (extended version)  +
Binary Partition Tree for Image Processing  +
Binding a high-performance C++ image processing library to Python  +
Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them  +
Bisimulation-based Reductions on TGBA  +
Blockchain-Based Solution for Detecting and Preventing Fake Check Scams  +
Boltzmann Machine in speaker verification  +
Booster la généricité de Vaucanson  +
Booster les itérateurs de Vaucanson  +
Boosting Vaucanson  +
Boosting Vaucanson  +
Boosting Vaucanson's Iterator  +
Boosting Vaucanson's genericity  +
Bottleneck neural networks for Speaker Recognition  +
Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images  +
Brain MRI Segmentation using fully convolutional network  +
Brain MRI segmentation using mathematical morphology  +
Brain Tumor Segmentation with deep convolutional network approach  +
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation  +
Building LTL Model Checkers using Transition-based Generalized Büchi Automata  +
Building a quantum perceptron  +
Building an interface for and with Climb  +
C
C++ Program Slicing with Transformers  +
C++ Transformations panorama  +
C++ Transformations panorama  +
C++ container library with the SCOOP paradigm  +
C++ container library with the SCOOP paradigm  +
C++ template disambiguation with Transformers Attribute Grammars  +
C++ type-checking: A study of existing solutions  +
C++ type-checking: A study of existing solutions  +
C-Transformers — A Framework to Write C Program Transformations  +
C/C++ Disambiguation Using Attribute Grammars  +
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving  +
CLIMB: A Dynamic Approach To Generic Image Processing  +
CLIMB: Une approche dynamique du traitement générique d'images  +
CLOS Efficiency: Instantiation  +
CLOS solutions to binary methods  +
CLoX: Common Lisp objects for XEmacs  +
Calcul de distance par un rśeau de neurones profond siamois  +
Calcul du Complexe de Morse-Smale à l'aide de coupe de ligne de partage des eaux  +
Calcul du flux optique dans des séquences avec des parties manquantes  +
Canvas in Morphological Algorithms  +
Canvas in Morphological Algorithms  +
Canvas in Olena  +
Canvas in Olena  +
Caractérisation des zones de mouvement périodiques pour applications bio-médicales  +
Catoids and Modal Convolution Algebras  +
Centaur : Une infrastructure générique simplifiant les transformations de C++  +
Centaur: A generic framework simplifying C++ transformation  +
Cepstral and Long-Term Features for Emotion Recognition  +
Classes, Styles, Conflicts: the Biological Realm of LaTeX  +
Climb: Implémentation de voisinage pondérés  +
Climb: Weighted Neighborhood Implementation  +
Coercition et programmation orientée contexte  +
Color image segmentation based on automatic morphological clustering  +
Color types in Milena  +
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation  +
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking  +
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata  +
Combining Parallel Emptiness Checks with Partial Order Reductions  +
Comment implémenter le support des goroutines dans go2pins  +
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving  +
Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle  +
Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map  +
Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification  +
Compensation d'i-vecteur spécifique aux locuteurs dans la reconnaissance du locuteur  +
Compensation locale du canal dans les systèmes de reconnaissance du locuteur  +
Compiler Construction as an Effective Application to Teach Object-Oriented Programming  +
Complementing Büchi Automata  +
Complementing Büchi Automata With Alternating Automata  +
Component Trees and Chaining Operators in Climb  +
Component trees in Milena  +
Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images  +
Composition Efficace de Transducteurs dans Vcsn  +
Composition de transducteur dans Vaucanson 2  +
Compositional Approach to Suspension and Other Improvements to LTL Translation  +
Compression d'états dans Spot  +
Computing the optical flow in sequences with missing parts  +
Computing the regular language recognized by a finite automaton  +
Computing the regular language recognized by a finite automaton  +
ConceptC++ study and possible integration in SCOOP  +
Conception of a static oriented language: an overview of Scool  +
Conception of a static oriented language: an overview of Scool  +
Concevoir l'interface d'une bibliothèque générique en Common Lisp  +
Connected Filtering on Tree-Based Shape-Spaces  +
Connected Filters on Generalized Shape-Spaces  +
Constructing a braid of partitions from hierarchies of partitions  +
Construction d'une interface pour et avec Climb  +
Construire un perceptron quantique  +
Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes  +
Context-Oriented Image Processing  +
Context-oriented programming applied to image processing  +
Continuous Well-Composedness implies Digital Well-Composedness in n-D  +
Contribution aux tests de vacuité pour le model checking explicite  +
Contribution to dyn::  +
Contribution à dyn::  +
Contributions to LTL and ω-Automata for Model Checking  +
Cosine Similarity Scoring without Score Normalization Techniques  +
CosySEL: Improving SAT Solving Using Local Symmetries  +
Counterexample searches in Spot  +
Cover automata for finite languages  +
Cover automata for finite languages  +
Creation of an antichain library  +
Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python  +
Création d'une bibliothèque d'antichaîne  +
Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey  +
D
De nouvelles fac cons d'utiliser l'interface Jupyter.  +
Debug Packages in OpenBSD  +
Deciding Persistence or Recurrence Membership in Spot  +
Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy  +
Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina  +
Dematerialization Tools in SCRIBO  +
Derived-Term Automata of Multitape Expressions with Composition  +
Derived-Term Automata of Multitape Rational Expressions  +
Derived-Term Automata of Weighted Rational Expressions with Quotient Operators  +
Derived-term Automata for Extended Weighted Rational Expressions  +
Designing the user interface for a Common Lisp generic library  +
Detecting Botnets Behaviors over Network Flows using Hidden Markov Models  +
Detecting danger in marine environment: Part 1 - Making the dataset  +
Detecting danger in marine environnement  +
Direct-Simulation Reduction for TGBA  +
Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery  +
Discrete Morse Functions and Watersheds  +
Discrete set-valued continuity and interpolation  +
Discrimination supervisé de caractères sur des images  +
Dispatch par propriétés dans les langages fonctionnels  +
Distance Transform  +
Distance Transform  +
Distributed State Space Exploration  +
Distribution, approximation and probabilistic model checking  +
Diversifying a Parallel SAT Solver with Bayesian Moment Matching  +
Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation  +
Document detection in videos captured by smartphones using a saliency-based method  +
Document layout analysis in SCRIBO  +
Document type recognition using evidence theory  +
Domain Mismatch Compensation for Text-Independant Speaker Recognition  +
Domain Mismatch Compensation for Text-Independant Speaker Recognition  +
Données, Transparence et Démocratie  +
Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions  +
Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions  +
Dynamization of C++ static libraries  +
Dynamization of C++ static libraries  +
Décomposition d'un automate de Büchi Généralisé multi-force  +
Découpage automatique des cartes de Cassini  +
Découpage de programme C++ avec Transformers  +
Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents  +
Désambiguïsation de la superposition de lignes.  +
Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers  +
Détection Automatique de Comptes Troll Farm sur Twitter  +
Détection automatique de zones de textes sur des pièces d'identité  +
Détection de danger en milieu marin  +
Détection de danger en milieu marin, Création du dataset  +
Détection de logotypes et autres invariants caractéristiques  +
Détection de logotypes et autres invariants caractéristiques à l'aide de descripteurs SIFT  +
Détection de voix  +
Détection des comportements de botnets au travers d'un flux en réseau en utilisant des modèles de Markov cachés  +
Développement d'une interface graphique pour Vaucanson  +
Développement d'une interface graphique pour Vaucanson  +
E
ENST-IRCGN System Description  +
ESDF: A proposal for a more flexible SDF handling  +
ETAP: Experimental Typesetting Algorithms Platform  +
Ecriture d'algorithmes de traitement d'images génériques  +
Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging  +
Effective Reductions of Mealy Machines  +
Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games  +
Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations  +
Efficient Dynamic Type Checking of Heterogeneous Sequences  +
Efficient Multiscale Sauvola's Binarization  +
Efficient Transducer Composition in Vcsn  +
Efficient Translation of Fairness LTL Formulae into Deterministic Automata  +
Efficient algorithmic methods for Nash equilibria computation  +
Efficient algorithmic methods for Nash equilibria computation  +
Efficient implementations of hierarchical morphological representations  +
Efficient removal of spontaneous transitions in Vcsn  +
Electricity Price Forecasting on the Day-Ahead Market using Machine Learning  +
Energy Problems in Finite and Timed Automata with Büchi Conditions  +
Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids  +
Error correcting code performance for watermark protection  +
Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur  +
Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity  +
Estimating the noise level function with the tree of shapes and non-parametric statistics  +
Estimation de la fonction de niveau de bruit dans des images multivariées en utilisant l'arbre des formes et des statistiques non-paramétriques  +
Estimation de la fonction de niveau de bruit dans des images naturelles en utilisant l'arbre des formes  +
Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique  +
Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques  +
Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics  +
Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics  +
Estimation of the noise level function in natural images using the tree of shapes  +
Etude comparative d'invariants de forme pour la classification texte / non-texte  +
Etude de ConceptC++ et possible intégration dans SCOOP  +
Euler Well-Composedness  +
Evaluating complex MAC protocols for sensor networks with APMC  +
Evaluation method of text detection algorithm rating  +
Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks  +
Exact optimization of discrete constrained total variation minimization problems  +
Exact optimization of discrete constrained total variation minimization problems  +
Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation)  +
Explicit State Model Checking with Generalized Büchi and Rabin Automata  +
Exploration d'espace d'état distribué  +
Exploring various implementations for goroutines support in go2pins  +
Expression templates in Ada 95  +
Extending Testing Automata to All LTL  +
Extensible languages: blurring the distinction between DSLs and GPLs  +
Extraction de l'inverse video dans SCRIBO.  +
Extraction de texte avec des ondelettes  +
Extraction of Ancient Map Contents Using Trees of Connected Components  +
F
FOANet: A Focus of Attention Network with Application to Myocardium Segmentation  +
FSMXML and its application in Vaucanson  +
FSMXML et son utilisation dans Vaucanson  +
FSMXML for Vaucanson 2.0  +
FSMXML pour Vaucanson 2.0  +
Factor analysis based channel compensation in speaker verification  +
Factor analysis based channel compensation in speaker verification  +
Fast Image Registration  +
Fast Level Line Transform  +
Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF  +
Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials  +
Fast color image segmentation based on levellings in feature Space  +
Fast reductions for ω-automaton  +
Fast road network extraction in satellite images using mathematical morphology and Markov random fields  +
Fast simulation based reduction for ω-automaton  +
Fast structure preserving inpainting  +
Featured Games  +
Fictious Play  +
Filtrage à base de contours pour la segmentation d'images  +
Filtres connexes multivariés par fusion d'arbres de composantes  +
Finding Maximal Common Joins in a DAG  +
Finding Short Synchronizing Words  +
Finite Automata Theory Based Optimization of Conditional Variable Binding  +
First Attempt at Boltzmann Machines for Speaker Recognition  +
Forecasting Electricity Prices: An Optimize Then Predict-Based Approach  +
Formal Definition of the Disambiguation with Attribute Grammars  +
Formal Definition of the Disambiguation with Attribute Grammars  +
From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning  +
From Spot 2.0 to Spot 2.10: What's New?  +
From an expression to the original automaton  +
From an expression to the original automaton  +
From text detection to text segmentation: a unified evaluation scheme  +
Front-End Factor Analysis For Speaker Verification  +
Front-end Promela dans Spot  +
Full Covariance Matrices based Gaussian Mixture Models  +
Functionnal approach of image processing genericity  +
Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI  +
G
GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification  +
GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux  +
Generalized Büchi Automata versus Testing Automata for Model Checking  +
Generalized Linear Discriminant Sequence for Speaker Verification  +
Generic Emptiness Check for Fun and Profit  +
Generic Image Processing with Climb  +
Generic algorithmic blocks dedicated to image processing  +
Generic design patterns in C++  +
Generic epsilon-removal  +
Generic epsilon-removal  +
Generic implementation of morphological image operators  +
Generic programming redesign of patterns  +
Gestion des transitions blackbox dans go2pins  +
Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls  +
Global Optimization for First Order Markov Random Fields with Submodular Priors  +
Go2Pins: A Framework for the LTL Verification of Go Programs  +
Go2Pins: A framework for the LTL verification of Go programs (Extended Version)  +
Going beyond p-convolutions to learn grayscale morphological operators  +
Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts  +
Gradients Intégrés Renforcés  +
Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata  +
Génération aléatoire d'automates et de chemins dans Vcsn  +
Génération aléatoire d'expression rationnelle  +
Génération efficace de grands espaces d'états  +
Généricité dynamique pour des algorithmes morphologiques  +
H
Handling blackbox transitions in go2pins  +
Hate Speech and Toxic Comment Detection using Transformers  +
Heuristics for Checking Liveness Properties with Partial Order Reductions  +
Hierarchical Segmentation Using Tree-Based Shape Spaces  +
Hierarchical Set Decision Diagrams and Automatic Saturation  +
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection  +
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection  +
High Throughput Automated Detection of Axial Malformations in Medaka Embryo  +
High throughput automated detection of axial malformations in fish embryo  +
High-level Document Structure Analysis in the Olena Scribo Module  +
Higher-Dimensional Timed and Hybrid Automata  +
Histogrammes  +
Histograms  +
Hiérarchie par propriétés du module Algebra de Vaucanson  +
Homolib  +
Homolib  +
How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions  +
How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way  +
How to Make nD Functions Digitally Well-Composed in a Self-Dual Way  +
How to Make nD Images Well-Composed Without Interpolation  +
How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education  +
How to make Lisp go faster than C  +
How to make Lisp go faster than C  +
I
I-Vector Multilayer Perceptron in Speaker Recognition System  +
I-Vectors distance learning with Convolutional Neural Networks  +
ICDAR 2021 Competition on Historical Map Segmentation  +
IVector space mapping with Deep Neural Network  +
Identification Polynomiale des omega-Langages  +
Identification de Botnets à travers le réseau en utilisant les moèles de mélange gaussien  +
Identifying Botnets in the Network using Gaussian Mixture Models  +
Image processing for plots detection from ancient maps  +
Image reconstruction  +
Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization  +
Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case  +
Image taxonomy in Milena  +
Image taxonomy in Olena  +
Image taxonomy in Olena  +
Images taxonomy and modeling  +
Images taxonomy and modeling  +
Implementation Concepts in Vaucanson 2  +
Implementation of Invisible and Transparent Transitions in Spot  +
Implementation of transducers in Vaucanson  +
Implementation of transducers in Vaucanson  +
Implementations efficaces des representations hierarchiques morphologiques  +
Implementing Baker's SUBTYPEP decision procedure  +
Implementing Baker's SUBTYPEP decision procedure  +
Implementing Baker's SUBTYPEP decision procedure  +
Implementing a C++ extension with Transformers: class namespace  +
Implementing attributes in SDF  +
Implementing rational semiring  +
Implémentation d'une extension du C++ dans Transformers: class namespace  +
Implémentation de l'algorithme de SUBTYPEP de Baker  +
Implémentation de l'algorithme de SUBTYPEP de Baker  +
Implémentation des transitions invisibles et transparentes dans Spot  +
Implémentation du corps des (nombres) rationnels  +
Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms  +
Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms  +
Improvements of Simulation-based Reduction  +
Improving Horn-Schunck  +
Improving OCR k-NN classifier's training set  +
Improving Parallel State-Space Exploration Using Genetic Algorithms  +
Improving Vaucanson's design  +
Improving Vaucanson's transducers composition algorithm  +
Improving degeneralization in Spot  +
Improving swarming using genetic algorithms  +
Improving the Model Checking of Stutter-Invariant LTL Properties  +
Improving the Quality of Rule-Based GNN Explanations  +
Improving the determinization of Büchi automata  +
In Pursuit of the Hidden Features of GNN's Internal Representations  +
Inpainting rapide préservant la structure  +
Inpainting variationnel par combinaison d'invariants  +
Inside Vaucanson  +
Integrating Mathematical Morphology within Deep Convolutional Neural Networks  +
Integrating modern parallel techniques in the Tiger compiler  +
Integration of Morphological Operators in Neural Networks  +
Integration of TChecker in Spot  +
Integration of histograms in the NL-Mean algorithm for image denoising.  +
Interface graphique de Vaucanson  +
Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach  +
Introducing Multivariate Connected Openings and Closings  +
Introducing Vaucanson  +
Introducing Vaucanson  +
Introducing the Boundary-Aware Loss for Deep Image Segmentation  +
Introducing the Dahu Pseudo-Distance  +
Introduction to the Special Issue on Distributed Hybrid Systems  +
Intégration d'histogrammes dans l'algorithme NL-Mean pour le débruitage d'images  +
Intégration de TChecker dans Spot  +
Intégration de la Morphologie Mathématique dans les Réseaux Neuronaux Profonds  +
Intégration de techniques de parallélisation dans le compilateur Tiger  +
Inverse Video extraction in Scribo  +