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 Comparative Review of Component Tree Computation Algorithms + (A Comparative Review of Component Tree Computation Algorithms)
- A Corpus Processing and Analysis Pipeline for Quickref + (A Corpus Processing and Analysis Pipeline for Quickref)
- A Fast and Exact Algorithm for Total Variation Minimization + (A Fast and Exact Algorithm for Total Variation Minimization)
- A Feedback Arc Set for Spot + (A Feedback Arc Set for Spot)
- A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images + (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 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 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 Kleene Theorem for Higher-Dimensional Automata)
- A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers + (A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers)
- A Modern C++ Point of View of Programming in Image Processing + (A Modern C++ Point of View of Programming in Image Processing)
- A Morphological Method for Music Score Staff Removal + (A Morphological Method for Music Score Staff Removal)
- A Morphological Tree of Shapes for Color Images + (A Morphological Tree of Shapes for Color Images)
- A Myhill-Nerode Theorem for Higher-Dimensional Automata + (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 Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation)
- A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation + (A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation)
- A Note on the Discrete Binary Mumford-Shah Model + (A Note on the Discrete Binary Mumford-Shah Model)
- 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)