Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- A Portable, Simple, Embeddable Type System + (A Portable, Simple, Embeddable Type System)
- A Promela front-end for Spot + (A Promela front-end for Spot)
- A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images + (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 Secure Blockchain-Based Architecture for the COVID-19 Data Network)
- A Self-Adaptive Likelihood Function for Tracking with Particle Filter + (A Self-Adaptive Likelihood Function for Tracking with Particle Filter)
- A Set of Tools to Teach Compiler Construction + (A Set of Tools to Teach Compiler Construction)
- A Study of Well-Composedness in n-D + (A Study of Well-Composedness in n-D)
- A Survey of French Local e-Democracy + (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 Tree of Shapes for Multivariate Images)
- A Tutorial on Well-Composedness + (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 Type System for Weighted Automata and Rational Expressions)
- A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization + (A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization)
- A blockchain-based certificate revocation management and status verification system + (A blockchain-based certificate revocation management and status verification system)
- A co-Büching Toolbox + (A co-Büching Toolbox)
- A comparative study of image invariants for text / non-text classification + (A comparative study of image invariants for text / non-text classification)
- A comparison of many max-tree computation algorithms + (A comparison of many max-tree computation algorithms)
- A fast algorithm for auto-dual trees + (A fast algorithm for auto-dual trees)
- A fast and exact algorithm for total variation minimization + (A fast and exact algorithm for total variation minimization)
- A first step toward a fair comparison of evaluation protocols for text detection algorithms + (A first step toward a fair comparison of evaluation protocols for text detection algorithms)
- A framework to dynamically manage distributed virtual environments + (A framework to dynamically manage distributed virtual environments)
- A new translation from LTL into TGBA in Spot + (A new translation from LTL into TGBA in Spot)
- A note on nice-levelable MRFs for SAR image denoising with contrast preservation + (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 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 + (A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy)
- AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation + (AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation)
- APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains + (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. + (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 + (Action recognition: how intelligent virtual environments can ease human-machine interaction)
- Active Learning on Visibly One Counter Systems + (Active Learning on Visibly One Counter Systems)
- Adaptation d'algorithmes de Vaucanson à une interface plus simple + (Adaptation d'algorithmes de Vaucanson à une interface plus simple)
- Adaptation de l'algorithme de watershed cuts aux complexes cellulaires + (Adaptation de l'algorithme de watershed cuts aux complexes cellulaires)
- Adaptation of the watershed cuts algorithm to cellular complexes + (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 + (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 Vaucanson algorithms to a simpler interface)
- Adapting the data structures of Vaucanson to the concept of kind and a new interface + (Adapting the data structures of Vaucanson to the concept of kind and a new interface)
- Adaptive partial order reduction methods + (Adaptive partial order reduction methods)
- Adding Contracts to C++ with Transformers + (Adding Contracts to C++ with Transformers)
- Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis + (Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis)
- Ajout de la programmation par contrats au C++ avec Transformers + (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 + (Algorithmes sur les Transducteurs)
- Algorithms for Mathematical Morphology + (Algorithms for Mathematical Morphology)
- Algorithms on Transducers + (Algorithms on Transducers)
- Alternate Fictitious Play study and implementation + (Alternate Fictitious Play study and implementation)
- Alternating automata support + (Alternating automata support)
- Amélioration de la base d'entraînement d'un classifieur k-nn d'OCR + (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 composition des transducteurs dans Vaucanson)
- Amélioration de la dégénéralisation dans Spot + (Amélioration de la dégénéralisation dans Spot)
- Amélioration de la réduction par simulation + (Amélioration de la réduction par simulation)
- Améliorer Horn-Schunck + (Améliorer Horn-Schunck)
- Améliorer l'architecture de Vaucanson 2 + (Améliorer l'architecture de Vaucanson 2)
- Améliorer la determinisation d'automates de Büchi + (Améliorer la determinisation d'automates de Büchi)
- An Efficient Algorithm for Connected Attribute Thinnings and Thickenings + (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 1D)
- An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D + (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 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 Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming)
- An Innovative and Decentralized Identity Framework Based on Blockchain Technology + (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 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 asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments)
- An edge-based attribute filter dedicated to image segmentation + (An edge-based attribute filter dedicated to image segmentation)
- An efficient algorithm for attribute openings and closings + (An efficient algorithm for attribute openings and closings)
- An efficient implementation of transition-based generalized Büchi automaton determinization + (An efficient implementation of transition-based generalized Büchi automaton determinization)
- An implementation of the C++ container library with SCOOL + (An implementation of the C++ container library with SCOOL)
- An interpreter for Vaucanson + (An interpreter for Vaucanson)
- An interpreter for Vaucanson + (An interpreter for Vaucanson)
- An overview of Scoop, a static object-oriented paradigm + (An overview of Scoop, a static object-oriented paradigm)
- An overview of Vaucanson + (An overview of Vaucanson)
- An overview of Vaucanson + (An overview of Vaucanson)
- Analyse de la mise en page d'un document dans SCRIBO + (Analyse de la mise en page d'un document dans SCRIBO)
- Analyse de performances dans Vaucanson + (Analyse de performances dans Vaucanson)
- Analyse structurelle haut-niveau de document dans le module Scribo d'Olena + (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 Algorithms Calculating the Maximal Disjoint Decomposition of a Set)
- Analysis of the Vaucanson project + (Analysis of the Vaucanson project)
- Analysis of the Vaucanson project + (Analysis of the Vaucanson project)
- Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks + (Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks)
- Applying generic programming to image processing + (Applying generic programming to image processing)
- Apprentissage d'Opérations Morphologiques + (Apprentissage d'Opérations Morphologiques)
- Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution + (Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution)
- Approaches in Typecase Optimization + (Approaches in Typecase Optimization)
- Approche fonctionnelle de la généricité du traitement d'image + (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 + (Approche parallèle pour le calcul de l'arbre des formes en n-dimensions)
- Approximate Nash Equilibria for Multi-Player Games + (Approximate Nash Equilibria for Multi-Player Games)
- Approximate Probabilistic Model Checking for Programs + (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 + (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 + (Aprentissage Actif d'Automates Visiblement á un compteur)
- Arbres de composantes et opérateurs de chaînage + (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)
- 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 + (Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information)
- Attribute Grammars for Modular Disambiguation + (Attribute Grammars for Modular Disambiguation)
- Attribute grammars for C++ disambiguation + (Attribute grammars for C++ disambiguation)
- Attribute grammars for C++ disambiguation + (Attribute grammars for C++ disambiguation)
- Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness + (Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness)
- Automata Reduction + (Automata Reduction)
- Automata in Natural Language Processing + (Automata in Natural Language Processing)
- Automatic Attribute Propagation for Modular Attribute Grammars + (Automatic Attribute Propagation for Modular Attribute Grammars)
- Automatic Attribute Propagation for Modular Attribute Grammars + (Automatic Attribute Propagation for Modular Attribute Grammars)
- Automatic Heart Segmentation + (Automatic Heart Segmentation)
- Automatic detection of text zones on identity documents. + (Automatic detection of text zones on identity documents.)
- Automatic maintenance of exported symbols in Common Lisp packages + (Automatic maintenance of exported symbols in Common Lisp packages)
- Automatic segmentation of Cassini's maps + (Automatic segmentation of Cassini's maps)
- Automatic troll farm account detection on Twitter + (Automatic troll farm account detection on Twitter)
- Automatically Guided Selection of a Set of Underwater Calibration Images + (Automatically Guided Selection of a Set of Underwater Calibration Images)
- Automation of Binary Analysis: From Open Source Collection to Threat Intelligence + (Automation of Binary Analysis: From Open Source Collection to Threat Intelligence)
- Avancées vers Vaucanson 1.4 et 2.0 + (Avancées vers Vaucanson 1.4 et 2.0)
- Banc d'essai de fonctions de coûts appliquées á la segmentation de tumeurs cérébrales + (Banc d'essai de fonctions de coûts appliquées á la segmentation de tumeurs cérébrales)
- Beating C in Scientific Computing Applications + (Beating C in Scientific Computing Applications)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge)
- Benchmarking Keypoint Filtering Approaches for Document Image Matching + (Benchmarking Keypoint Filtering Approaches for Document Image Matching)
- Benchmarking Vaucanson and large C++ libraries + (Benchmarking Vaucanson and large C++ libraries)
- Benchmarking of Partial Order Reduction in Spot + (Benchmarking of Partial Order Reduction in Spot)
- Binary Methods Programming: the CLOS Perspective + (Binary Methods Programming: the CLOS Perspective)
- Binary Methods Programming: the CLOS Perspective (extended version) + (Binary Methods Programming: the CLOS Perspective (extended version))
- Binary Partition Tree for Image Processing + (Binary Partition Tree for Image Processing)
- Binding a high-performance C++ image processing library to Python + (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 + (Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them)
- Bisimulation-based Reductions on TGBA + (Bisimulation-based Reductions on TGBA)
- Blockchain-Based Solution for Detecting and Preventing Fake Check Scams + (Blockchain-Based Solution for Detecting and Preventing Fake Check Scams)
- Boltzmann Machine in speaker verification + (Boltzmann Machine in speaker verification)
- Booster la généricité de Vaucanson + (Booster la généricité de Vaucanson)
- Booster les itérateurs de Vaucanson + (Booster les itérateurs de Vaucanson)
- Boosting Vaucanson + (Boosting Vaucanson)
- Boosting Vaucanson + (Boosting Vaucanson)
- Boosting Vaucanson's Iterator + (Boosting Vaucanson's Iterator)
- Boosting Vaucanson's genericity + (Boosting Vaucanson's genericity)
- Bottleneck neural networks for Speaker Recognition + (Bottleneck neural networks for Speaker Recognition)
- Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images + (Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images)
- Brain MRI Segmentation using fully convolutional network + (Brain MRI Segmentation using fully convolutional network)
- Brain MRI segmentation using mathematical morphology + (Brain MRI segmentation using mathematical morphology)
- Brain Tumor Segmentation with deep convolutional network approach + (Brain Tumor Segmentation with deep convolutional network approach)
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation + (Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation)
- Building LTL Model Checkers using Transition-based Generalized Büchi Automata + (Building LTL Model Checkers using Transition-based Generalized Büchi Automata)
- Building a quantum perceptron + (Building a quantum perceptron)
- Building an interface for and with Climb + (Building an interface for and with Climb)
- C++ Program Slicing with Transformers + (C++ Program Slicing with Transformers)
- C++ Transformations panorama + (C++ Transformations panorama)
- C++ Transformations panorama + (C++ Transformations panorama)
- C++ container library with the SCOOP paradigm + (C++ container library with the SCOOP paradigm)
- C++ container library with the SCOOP paradigm + (C++ container library with the SCOOP paradigm)
- C++ template disambiguation with Transformers Attribute Grammars + (C++ template disambiguation with Transformers Attribute Grammars)
- C++ type-checking: A study of existing solutions + (C++ type-checking: A study of existing solutions)
- 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-Transformers — A Framework to Write C Program Transformations)
- C/C++ Disambiguation Using Attribute Grammars + (C/C++ Disambiguation Using Attribute Grammars)
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving + (CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving)
- CLIMB: A Dynamic Approach To Generic Image Processing + (CLIMB: A Dynamic Approach To Generic Image Processing)
- CLIMB: Une approche dynamique du traitement générique d'images + (CLIMB: Une approche dynamique du traitement générique d'images)
- CLOS Efficiency: Instantiation + (CLOS Efficiency: Instantiation)
- CLOS solutions to binary methods + (CLOS solutions to binary methods)
- CLoX: Common Lisp objects for XEmacs + (CLoX: Common Lisp objects for XEmacs)
- Calcul de distance par un rśeau de neurones profond siamois + (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 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 + (Calcul du flux optique dans des séquences avec des parties manquantes)
- Canvas in Morphological Algorithms + (Canvas in Morphological Algorithms)
- Canvas in Morphological Algorithms + (Canvas in Morphological Algorithms)
- Canvas in Olena + (Canvas in Olena)
- Canvas in Olena + (Canvas in Olena)
- Caractérisation des zones de mouvement périodiques pour applications bio-médicales + (Caractérisation des zones de mouvement périodiques pour applications bio-médicales)
- Catoids and Modal Convolution Algebras + (Catoids and Modal Convolution Algebras)
- Centaur : Une infrastructure générique simplifiant les transformations de C++ + (Centaur : Une infrastructure générique simplifiant les transformations de C++)
- Centaur: A generic framework simplifying C++ transformation + (Centaur: A generic framework simplifying C++ transformation)
- Cepstral and Long-Term Features for Emotion Recognition + (Cepstral and Long-Term Features for Emotion Recognition)
- Classes, Styles, Conflicts: the Biological Realm of LaTeX + (Classes, Styles, Conflicts: the Biological Realm of LaTeX)
- Climb: Implémentation de voisinage pondérés + (Climb: Implémentation de voisinage pondérés)
- Climb: Weighted Neighborhood Implementation + (Climb: Weighted Neighborhood Implementation)
- Coercition et programmation orientée contexte + (Coercition et programmation orientée contexte)
- Color image segmentation based on automatic morphological clustering + (Color image segmentation based on automatic morphological clustering)
- Color types in Milena + (Color types in Milena)
- Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation + (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 Approaches for Better On-the-Fly LTL Model Checking)
- Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata + (Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata)
- Combining Parallel Emptiness Checks with Partial Order Reductions + (Combining Parallel Emptiness Checks with Partial Order Reductions)
- Comment implémenter le support des goroutines dans go2pins + (Comment implémenter le support des goroutines dans go2pins)
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving + (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 + (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 + (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 + (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 d'i-vecteur spécifique aux locuteurs dans la reconnaissance du locuteur)
- Compensation locale du canal dans les systèmes de 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 + (Compiler Construction as an Effective Application to Teach Object-Oriented Programming)
- Complementing Büchi Automata + (Complementing Büchi Automata)
- Complementing Büchi Automata With Alternating Automata + (Complementing Büchi Automata With Alternating Automata)
- Component Trees and Chaining Operators in Climb + (Component Trees and Chaining Operators in Climb)
- Component trees in Milena + (Component trees in Milena)
- Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images + (Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images)
- Composition Efficace de Transducteurs dans Vcsn + (Composition Efficace de Transducteurs dans Vcsn)
- Composition de transducteur dans Vaucanson 2 + (Composition de transducteur dans Vaucanson 2)
- Compositional Approach to Suspension and Other Improvements to LTL Translation + (Compositional Approach to Suspension and Other Improvements to LTL Translation)
- Compression d'états dans Spot + (Compression d'états dans Spot)
- Computing the optical flow in sequences with missing parts + (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)
- 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 + (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)
- 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 + (Concevoir l'interface d'une bibliothèque générique en Common Lisp)
- Connected Filtering on Tree-Based Shape-Spaces + (Connected Filtering on Tree-Based Shape-Spaces)
- Connected Filters on Generalized Shape-Spaces + (Connected Filters on Generalized Shape-Spaces)
- Constructing a braid of partitions from hierarchies of partitions + (Constructing a braid of partitions from hierarchies of partitions)
- Construction d'une interface pour et avec Climb + (Construction d'une interface pour et avec Climb)
- Construire un perceptron quantique + (Construire un perceptron quantique)
- Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes + (Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes)
- Context-Oriented Image Processing + (Context-Oriented Image Processing)
- Context-oriented programming applied to image processing + (Context-oriented programming applied to image processing)
- Continuous Well-Composedness implies Digital Well-Composedness in n-D + (Continuous Well-Composedness implies Digital Well-Composedness in n-D)
- Contribution aux tests de vacuité pour le model checking explicite + (Contribution aux tests de vacuité pour le model checking explicite)
- Contribution to dyn:: + (Contribution to dyn::)
- Contribution à dyn:: + (Contribution à dyn::)
- Contributions to LTL and ω-Automata for Model Checking + (Contributions to LTL and ω-Automata for Model Checking)
- Cosine Similarity Scoring without Score Normalization Techniques + (Cosine Similarity Scoring without Score Normalization Techniques)
- CosySEL: Improving SAT Solving Using Local Symmetries + (CosySEL: Improving SAT Solving Using Local Symmetries)
- Counterexample searches in Spot + (Counterexample searches in Spot)
- Cover automata for finite languages + (Cover automata for finite languages)
- Cover automata for finite languages + (Cover automata for finite languages)
- Creation of an antichain library + (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'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 + (Création d'une bibliothèque d'antichaîne)
- Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey + (Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey)
- De nouvelles fac cons d'utiliser l'interface Jupyter. + (De nouvelles fac cons d'utiliser l'interface Jupyter.)
- Debug Packages in OpenBSD + (Debug Packages in OpenBSD)
- Deciding Persistence or Recurrence Membership in Spot + (Deciding Persistence or Recurrence Membership in Spot)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (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 + (Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina)
- Dematerialization Tools in SCRIBO + (Dematerialization Tools in SCRIBO)
- Derived-Term Automata of Multitape Expressions with Composition + (Derived-Term Automata of Multitape Expressions with Composition)
- Derived-Term Automata of Multitape Rational Expressions + (Derived-Term Automata of Multitape Rational Expressions)
- Derived-Term Automata of Weighted Rational Expressions with Quotient Operators + (Derived-Term Automata of Weighted Rational Expressions with Quotient Operators)
- Derived-term Automata for Extended Weighted Rational Expressions + (Derived-term Automata for Extended Weighted Rational Expressions)
- Designing the user interface for a Common Lisp generic library + (Designing the user interface for a Common Lisp generic library)
- Detecting Botnets Behaviors over Network Flows using Hidden Markov Models + (Detecting Botnets Behaviors over Network Flows using Hidden Markov Models)
- Detecting danger in marine environment: Part 1 - Making the dataset + (Detecting danger in marine environment: Part 1 - Making the dataset)
- Detecting danger in marine environnement + (Detecting danger in marine environnement)
- Direct-Simulation Reduction for TGBA + (Direct-Simulation Reduction for TGBA)
- Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery + (Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery)
- Discrete Morse Functions and Watersheds + (Discrete Morse Functions and Watersheds)
- Discrete set-valued continuity and interpolation + (Discrete set-valued continuity and interpolation)
- Discrimination supervisé de caractères sur des images + (Discrimination supervisé de caractères sur des images)
- Dispatch par propriétés dans les langages fonctionnels + (Dispatch par propriétés dans les langages fonctionnels)
- Distance Transform + (Distance Transform)
- Distance Transform + (Distance Transform)
- Distributed State Space Exploration + (Distributed State Space Exploration)
- Distribution, approximation and probabilistic model checking + (Distribution, approximation and probabilistic model checking)
- Diversifying a Parallel SAT Solver with Bayesian Moment Matching + (Diversifying a Parallel SAT Solver with Bayesian Moment Matching)
- Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation + (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 detection in videos captured by smartphones using a saliency-based method)
- Document layout analysis in SCRIBO + (Document layout analysis in SCRIBO)
- Document type recognition using evidence theory + (Document type recognition using evidence theory)
- Domain Mismatch Compensation for Text-Independant Speaker Recognition + (Domain Mismatch Compensation for Text-Independant Speaker Recognition)
- Domain Mismatch Compensation for Text-Independant Speaker Recognition + (Domain Mismatch Compensation for Text-Independant Speaker Recognition)
- Données, Transparence et Démocratie + (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)
- 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)
- Dynamization of C++ static libraries + (Dynamization of C++ static libraries)
- Décomposition d'un automate de Büchi Généralisé multi-force + (Décomposition d'un automate de Büchi Généralisé multi-force)
- Découpage automatique des cartes de Cassini + (Découpage automatique des cartes de Cassini)
- Découpage de programme C++ avec Transformers + (Découpage de programme C++ avec Transformers)
- Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents + (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 de la superposition de lignes.)
- Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers + (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 Comptes Troll Farm sur Twitter)
- Détection automatique de zones de textes sur des pièces d'identité + (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)
- Détection de danger en milieu marin, Création du dataset + (Détection de danger en milieu marin, Création du dataset)
- Détection de logotypes et autres invariants caractéristiques à l'aide de descripteurs SIFT + (Détection de logotypes et autres invariants caractéristiques à l'aide de descripteurs SIFT)
- Détection de logotypes et autres invariants caractéristiques + (Détection de logotypes et autres invariants caractéristiques)
- Détection de voix + (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é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)
- Développement d'une interface graphique pour Vaucanson + (Développement d'une interface graphique pour Vaucanson)
- ENST-IRCGN System Description + (ENST-IRCGN System Description)
- ESDF: A proposal for a more flexible SDF handling + (ESDF: A proposal for a more flexible SDF handling)
- ETAP: Experimental Typesetting Algorithms Platform + (ETAP: Experimental Typesetting Algorithms Platform)
- Ecriture d'algorithmes de traitement d'images génériques + (Ecriture d'algorithmes de traitement d'images génériques)
- Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging + (Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging)
- Effective Reductions of Mealy Machines + (Effective Reductions of Mealy Machines)
- Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games + (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 Computation of Attributes and Saliency Maps on Tree-Based Image Representations)
- Efficient Dynamic Type Checking of Heterogeneous Sequences + (Efficient Dynamic Type Checking of Heterogeneous Sequences)
- Efficient Multiscale Sauvola's Binarization + (Efficient Multiscale Sauvola's Binarization)
- Efficient Transducer Composition in Vcsn + (Efficient Transducer Composition in Vcsn)
- Efficient Translation of Fairness LTL Formulae into Deterministic Automata + (Efficient Translation of Fairness LTL Formulae into Deterministic Automata)
- Efficient algorithmic methods for Nash equilibria computation + (Efficient algorithmic methods for Nash equilibria computation)
- Efficient algorithmic methods for Nash equilibria computation + (Efficient algorithmic methods for Nash equilibria computation)
- Efficient implementations of hierarchical morphological representations + (Efficient implementations of hierarchical morphological representations)
- Efficient removal of spontaneous transitions in Vcsn + (Efficient removal of spontaneous transitions in Vcsn)
- Electricity Price Forecasting on the Day-Ahead Market using Machine Learning + (Electricity Price Forecasting on the Day-Ahead Market using Machine Learning)
- Energy Problems in Finite and Timed Automata with Büchi Conditions + (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 + (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 + (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 + (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 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 + (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 naturelles en utilisant l'arbre des formes + (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 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 multivariées en utilisant l'arbre des formes et des statistiques non-paramétriques)
- Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique + (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 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 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 for color images using mathematical morphology and non-parametric statistics)
- Estimation of the noise level function in natural images using the tree of shapes + (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 comparative d'invariants de forme pour la classification texte / non-texte)
- Etude de ConceptC++ et possible intégration dans SCOOP + (Etude de ConceptC++ et possible intégration dans SCOOP)
- Euler Well-Composedness + (Euler Well-Composedness)
- Evaluating complex MAC protocols for sensor networks with APMC + (Evaluating complex MAC protocols for sensor networks with APMC)
- Evaluation method of text detection algorithm rating + (Evaluation method of text detection algorithm rating)
- Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks + (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)
- 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) + (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 + (Explicit State Model Checking with Generalized Büchi and Rabin Automata)
- Exploration d'espace d'état distribué + (Exploration d'espace d'état distribué)
- Exploring various implementations for goroutines support in go2pins + (Exploring various implementations for goroutines support in go2pins)
- Expression templates in Ada 95 + (Expression templates in Ada 95)
- Extending Testing Automata to All LTL + (Extending Testing Automata to All LTL)
- Extensible languages: blurring the distinction between DSLs and GPLs + (Extensible languages: blurring the distinction between DSLs and GPLs)
- Extraction de l'inverse video dans SCRIBO. + (Extraction de l'inverse video dans SCRIBO.)
- Extraction de texte avec des ondelettes + (Extraction de texte avec des ondelettes)
- Extraction of Ancient Map Contents Using Trees of Connected Components + (Extraction of Ancient Map Contents Using Trees of Connected Components)
- FOANet: A Focus of Attention Network with Application to Myocardium Segmentation + (FOANet: A Focus of Attention Network with Application to Myocardium Segmentation)
- FSMXML and its application in Vaucanson + (FSMXML and its application in Vaucanson)
- FSMXML et son utilisation dans Vaucanson + (FSMXML et son utilisation dans Vaucanson)
- FSMXML for Vaucanson 2.0 + (FSMXML for Vaucanson 2.0)
- FSMXML pour Vaucanson 2.0 + (FSMXML pour Vaucanson 2.0)
- Factor analysis based channel compensation in speaker verification + (Factor analysis based channel compensation in speaker verification)
- Factor analysis based channel compensation in speaker verification + (Factor analysis based channel compensation in speaker verification)
- Fast Image Registration + (Fast Image Registration)
- Fast Level Line Transform + (Fast Level Line Transform)
- Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF + (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 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 color image segmentation based on levellings in feature Space)
- Fast reductions for ω-automaton + (Fast reductions for ω-automaton)
- Fast road network extraction in satellite images using mathematical morphology and Markov random fields + (Fast road network extraction in satellite images using mathematical morphology and Markov random fields)
- Fast simulation based reduction for ω-automaton + (Fast simulation based reduction for ω-automaton)
- Fast structure preserving inpainting + (Fast structure preserving inpainting)
- Featured Games + (Featured Games)
- Fictious Play + (Fictious Play)
- Filtrage à base de contours pour la segmentation d'images + (Filtrage à base de contours pour la segmentation d'images)
- Filtres connexes multivariés par fusion d'arbres de composantes + (Filtres connexes multivariés par fusion d'arbres de composantes)
- Finding Maximal Common Joins in a DAG + (Finding Maximal Common Joins in a DAG)
- Finding Short Synchronizing Words + (Finding Short Synchronizing Words)
- Finite Automata Theory Based Optimization of Conditional Variable Binding + (Finite Automata Theory Based Optimization of Conditional Variable Binding)
- First Attempt at Boltzmann Machines for Speaker Recognition + (First Attempt at Boltzmann Machines for Speaker Recognition)
- Forecasting Electricity Prices: An Optimize Then Predict-Based Approach + (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)
- 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 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 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 an expression to the original automaton + (From an expression to the original automaton)
- From text detection to text segmentation: a unified evaluation scheme + (From text detection to text segmentation: a unified evaluation scheme)
- Front-End Factor Analysis For Speaker Verification + (Front-End Factor Analysis For Speaker Verification)
- Front-end Promela dans Spot + (Front-end Promela dans Spot)
- Full Covariance Matrices based Gaussian Mixture Models + (Full Covariance Matrices based Gaussian Mixture Models)
- Functionnal approach of image processing genericity + (Functionnal approach of image processing genericity)
- Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI + (Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI)
- GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification + (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 + (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 Büchi Automata versus Testing Automata for Model Checking)
- Generalized Linear Discriminant Sequence for Speaker Verification + (Generalized Linear Discriminant Sequence for Speaker Verification)
- Generic Emptiness Check for Fun and Profit + (Generic Emptiness Check for Fun and Profit)
- Generic Image Processing with Climb + (Generic Image Processing with Climb)
- Generic algorithmic blocks dedicated to image processing + (Generic algorithmic blocks dedicated to image processing)
- Generic design patterns in C++ + (Generic design patterns in C++)
- Generic epsilon-removal + (Generic epsilon-removal)
- Generic epsilon-removal + (Generic epsilon-removal)
- Generic implementation of morphological image operators + (Generic implementation of morphological image operators)
- Generic programming redesign of patterns + (Generic programming redesign of patterns)
- Gestion des transitions blackbox dans go2pins + (Gestion des transitions blackbox dans go2pins)
- Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls + (Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls)
- Global Optimization for First Order Markov Random Fields with Submodular Priors + (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)
- Go2Pins: A framework for the LTL verification of Go programs (Extended Version) + (Go2Pins: A framework for the LTL verification of Go programs (Extended Version))
- Going beyond p-convolutions to learn grayscale morphological operators + (Going beyond p-convolutions to learn grayscale morphological operators)
- Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts + (Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts)
- Gradients Intégrés Renforcés + (Gradients Intégrés Renforcés)
- Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata + (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'automates et de chemins dans Vcsn)
- Génération aléatoire d'expression rationnelle + (Génération aléatoire d'expression rationnelle)
- Génération efficace de grands espaces d'états + (Génération efficace de grands espaces d'états)
- Généricité dynamique pour des algorithmes morphologiques + (Généricité dynamique pour des algorithmes morphologiques)
- Handling blackbox transitions in go2pins + (Handling blackbox transitions in go2pins)
- Hate Speech and Toxic Comment Detection using Transformers + (Hate Speech and Toxic Comment Detection using Transformers)
- Heuristics for Checking Liveness Properties with Partial Order Reductions + (Heuristics for Checking Liveness Properties with Partial Order Reductions)
- Hierarchical Segmentation Using Tree-Based Shape Spaces + (Hierarchical Segmentation Using Tree-Based Shape Spaces)
- Hierarchical Set Decision Diagrams and Automatic Saturation + (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)
- 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 Medaka Embryo)
- High throughput automated detection of axial malformations in fish embryo + (High throughput automated detection of axial malformations in fish embryo)
- High-level Document Structure Analysis in the Olena Scribo Module + (High-level Document Structure Analysis in the Olena Scribo Module)
- Higher-Dimensional Timed and Hybrid Automata + (Higher-Dimensional Timed and Hybrid Automata)
- Histogrammes + (Histogrammes)
- Histograms + (Histograms)
- Hiérarchie par propriétés du module Algebra de Vaucanson + (Hiérarchie par propriétés du module Algebra de Vaucanson)
- Homolib + (Homolib)
- 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 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 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 Functions Digitally Well-Composed in a Self-Dual Way)
- How to Make nD Images Well-Composed Without Interpolation + (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 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)
- How to make Lisp go faster than C + (How to make Lisp go faster than C)
- I-Vector Multilayer Perceptron in Speaker Recognition System + (I-Vector Multilayer Perceptron in Speaker Recognition System)
- I-Vectors distance learning with Convolutional Neural Networks + (I-Vectors distance learning with Convolutional Neural Networks)
- ICDAR 2021 Competition on Historical Map Segmentation + (ICDAR 2021 Competition on Historical Map Segmentation)
- IVector space mapping with Deep Neural Network + (IVector space mapping with Deep Neural Network)
- Identification Polynomiale des omega-Langages + (Identification Polynomiale des omega-Langages)
- Identification de Botnets à travers le réseau en utilisant les moèles de mélange gaussien + (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 + (Identifying Botnets in the Network using Gaussian Mixture Models)
- Image processing for plots detection from ancient maps + (Image processing for plots detection from ancient maps)
- Image reconstruction + (Image reconstruction)
- Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case + (Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case)
- Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization + (Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization)
- Image taxonomy in Milena + (Image taxonomy in Milena)
- Image taxonomy in Olena + (Image taxonomy in Olena)
- Image taxonomy in Olena + (Image taxonomy in Olena)
- Images taxonomy and modeling + (Images taxonomy and modeling)
- Images taxonomy and modeling + (Images taxonomy and modeling)
- Implementation Concepts in Vaucanson 2 + (Implementation Concepts in Vaucanson 2)
- Implementation of Invisible and Transparent Transitions in Spot + (Implementation of Invisible and Transparent Transitions in Spot)
- Implementation of transducers in Vaucanson + (Implementation of transducers in Vaucanson)
- Implementation of transducers in Vaucanson + (Implementation of transducers in Vaucanson)
- Implementations efficaces des representations hierarchiques morphologiques + (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 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 a C++ extension with Transformers: class namespace)
- Implementing attributes in SDF + (Implementing attributes in SDF)
- Implementing rational semiring + (Implementing rational semiring)
- Implémentation d'une extension du C++ dans Transformers: class namespace + (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 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 des transitions invisibles et transparentes dans Spot)
- Implémentation du corps des (nombres) rationnels + (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)
- 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 + (Improvements of Simulation-based Reduction)
- Improving Horn-Schunck + (Improving Horn-Schunck)
- Improving OCR k-NN classifier's training set + (Improving OCR k-NN classifier's training set)
- Improving Parallel State-Space Exploration Using Genetic Algorithms + (Improving Parallel State-Space Exploration Using Genetic Algorithms)
- Improving Vaucanson's design + (Improving Vaucanson's design)
- Improving Vaucanson's transducers composition algorithm + (Improving Vaucanson's transducers composition algorithm)
- Improving degeneralization in Spot + (Improving degeneralization in Spot)
- Improving swarming using genetic algorithms + (Improving swarming using genetic algorithms)
- Improving the Model Checking of Stutter-Invariant LTL Properties + (Improving the Model Checking of Stutter-Invariant LTL Properties)
- Improving the Quality of Rule-Based GNN Explanations + (Improving the Quality of Rule-Based GNN Explanations)
- Improving the determinization of Büchi automata + (Improving the determinization of Büchi automata)
- In Pursuit of the Hidden Features of GNN's Internal Representations + (In Pursuit of the Hidden Features of GNN's Internal Representations)
- Inpainting rapide préservant la structure + (Inpainting rapide préservant la structure)
- Inpainting variationnel par combinaison d'invariants + (Inpainting variationnel par combinaison d'invariants)
- Inside Vaucanson + (Inside Vaucanson)
- Integrating Mathematical Morphology within Deep Convolutional Neural Networks + (Integrating Mathematical Morphology within Deep Convolutional Neural Networks)
- Integrating modern parallel techniques in the Tiger compiler + (Integrating modern parallel techniques in the Tiger compiler)
- Integration of Morphological Operators in Neural Networks + (Integration of Morphological Operators in Neural Networks)
- Integration of TChecker in Spot + (Integration of TChecker in Spot)
- Integration of histograms in the NL-Mean algorithm for image denoising. + (Integration of histograms in the NL-Mean algorithm for image denoising.)
- Interface graphique de Vaucanson + (Interface graphique de Vaucanson)
- Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach + (Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach)
- Introducing Multivariate Connected Openings and Closings + (Introducing Multivariate Connected Openings and Closings)
- Introducing Vaucanson + (Introducing Vaucanson)
- Introducing Vaucanson + (Introducing Vaucanson)
- Introducing the Boundary-Aware Loss for Deep Image Segmentation + (Introducing the Boundary-Aware Loss for Deep Image Segmentation)
- Introducing the Dahu Pseudo-Distance + (Introducing the Dahu Pseudo-Distance)
- Introduction to the Special Issue on Distributed Hybrid Systems + (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 d'histogrammes dans l'algorithme NL-Mean pour le débruitage d'images)
- Intégration de TChecker dans Spot + (Intégration de TChecker dans Spot)
- Intégration de la Morphologie Mathématique dans les Réseaux Neuronaux Profonds + (Intégration de la Morphologie Mathématique dans les Réseaux Neuronaux Profonds)
- Intégration de techniques de parallélisation dans le compilateur Tiger + (Intégration de techniques de parallélisation dans le compilateur Tiger)
- Inverse Video extraction in Scribo + (Inverse Video extraction in Scribo)