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
- 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?)
- JSPP: Morphing C++ into JavaScript + (JSPP: Morphing C++ into JavaScript)
- K plus courts chemins dans Vcsn + (K plus courts chemins dans Vcsn)
- K plus courts chemins dans Vcsn + (K plus courts chemins dans Vcsn)
- K shortest-paths in Vcsn + (K shortest-paths in Vcsn)
- K shortest-paths in Vcsn + (K shortest-paths in Vcsn)
- Kernel Combination for SVM Speaker Verification + (Kernel Combination for SVM Speaker Verification)
- L'Arbre de partition binaire pour le traitement d'images + (L'Arbre de partition binaire pour le traitement d'images)
- L'algorithme Union-Find de Tarjan et les filtres connectès + (L'algorithme Union-Find de Tarjan et les filtres connectès)
- L'algorithme de Partitionnement de Markov pour le Système Supervisé de Vérification du Locuteur + (L'algorithme de Partitionnement de Markov pour le Système Supervisé de Vérification du Locuteur)
- LRDE Speaker Recognition System for NIST-SRE 2010 + (LRDE Speaker Recognition System for NIST-SRE 2010)
- LRDE System description + (LRDE System description)
- LRDE's Speaker Verification Framework + (LRDE's Speaker Verification Framework)
- LRDE's Speaker Verification Framework + (LRDE's Speaker Verification Framework)
- LTL Model Checking for Communicating Concurrent Programs + (LTL Model Checking for Communicating Concurrent Programs)
- LTL Model Checking with Neco + (LTL Model Checking with Neco)
- LTL Synthesis with Spot + (LTL Synthesis with Spot)
- LTL Translation Improvements in Spot + (LTL Translation Improvements in Spot)
- LTL Translation Improvements in Spot 1.0 + (LTL Translation Improvements in Spot 1.0)
- LTL under reductions with weaker conditions than stutter invariance + (LTL under reductions with weaker conditions than stutter invariance)
- La Segmentation du Locuteur Basée sur les Coefficients Cepstraux sur l'échelle de Mel + (La Segmentation du Locuteur Basée sur les Coefficients Cepstraux sur l'échelle de Mel)
- La Segmentation du Locuteur basée sur l'Analyse en Composantes Indépendantes + (La Segmentation du Locuteur basée sur l'Analyse en Composantes Indépendantes)
- La complémentation d'automates de Büchi + (La complémentation d'automates de Büchi)
- La complémentation d'automates de Büchi à travers des automates alternants + (La complémentation d'automates de Büchi à travers des automates alternants)