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