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