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
- 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)
- Inégration des Opérateurs de la Morphologie Mathématique dans des Réseaux de Neurones + (Inégration des Opérateurs de la Morphologie Mathématique dans des Réseaux de Neurones)
- Is There a Best Büchi Automaton for Explicit Model Checking? + (Is There a Best Büchi Automaton for Explicit Model Checking?)