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
- 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)