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 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)
- La généricité par propriétés + (La généricité par propriétés)
- La programmation orientée contexte appliquée au traitement d'images + (La programmation orientée contexte appliquée au traitement d'images)
- La pseudo-distance du dahu + (La pseudo-distance du dahu)
- Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning + (Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning)
- Language Recognition via I-Vectors and Dimensionality Reduction + (Language Recognition via I-Vectors and Dimensionality Reduction)
- Le support des automates alternants + (Le support des automates alternants)
- Learning Diversity Attributes in Multi-Session Recommendations + (Learning Diversity Attributes in Multi-Session Recommendations)
- Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation + (Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation)
- Learning Grayscale Mathematical Morphology with Smooth Morphological Layers + (Learning Grayscale Mathematical Morphology with Smooth Morphological Layers)
- Learning Morphological Operations + (Learning Morphological Operations)
- Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks + (Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks)
- Learning models for model-checking + (Learning models for model-checking)
- Learning models for model-checking + (Learning models for model-checking)
- Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning + (Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning)
- Les Machines de Boltzmann dans la reconnaissance du locuteur + (Les Machines de Boltzmann dans la reconnaissance du locuteur)
- Les arbres de composantes dans Milena + (Les arbres de composantes dans Milena)
- Les automates en traitement automatique des langues naturelles + (Les automates en traitement automatique des langues naturelles)
- Les propriétés dans Milena + (Les propriétés dans Milena)
- Les relations synchrones dans Vaucanson + (Les relations synchrones dans Vaucanson)
- Les types de couleur dans Milena + (Les types de couleur dans Milena)
- Ligne de partage des eaux topologique + (Ligne de partage des eaux topologique)
- Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification + (Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification)
- Lisp, Jazz, Aikido + (Lisp, Jazz, Aikido)
- Local Intensity Order Transformation for Robust Curvilinear Object Segmentation + (Local Intensity Order Transformation for Robust Curvilinear Object Segmentation)
- Local channel compensated method in Speaker Recognition System + (Local channel compensated method in Speaker Recognition System)
- Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation + (Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation)
- Logotypes detection and other characteristics invariants using SIFT descriptors + (Logotypes detection and other characteristics invariants using SIFT descriptors)
- Logotypes detection and other characteristic invariants + (Logotypes detection and other characteristic invariants)
- Loss functions benchmark for brain tumour segmentation + (Loss functions benchmark for brain tumour segmentation)
- MITLL 2012 Speaker Recognition Evaluation System Description + (MITLL 2012 Speaker Recognition Evaluation System Description)
- MToS: A Tree of Shapes for Multivariate Images + (MToS: A Tree of Shapes for Multivariate Images)
- Maintenance automatique des symboles exportés dans les packages de Common Lisp + (Maintenance automatique des symboles exportés dans les packages de Common Lisp)
- Making Compiler Construction Projects Relevant to Core Curriculums + (Making Compiler Construction Projects Relevant to Core Curriculums)
- Manipulating LTL formulas using Spot 1.0 + (Manipulating LTL formulas using Spot 1.0)
- Mappage d'espace d'ivecteur à l'aide d'un réseau neuronal profond + (Mappage d'espace d'ivecteur à l'aide d'un réseau neuronal profond)
- Markov Clustering Algorithm for Unsupervised Speaker Recognition System + (Markov Clustering Algorithm for Unsupervised Speaker Recognition System)
- Mathematical morphology and deep convolutional neural networks + (Mathematical morphology and deep convolutional neural networks)
- Max-Tree Computation on GPUs + (Max-Tree Computation on GPUs)
- Meaningful disjoint level lines selection + (Meaningful disjoint level lines selection)
- Mechanizing the Minimization of Deterministic Generalized Büchi Automata + (Mechanizing the Minimization of Deterministic Generalized Büchi Automata)
- Mesures sur la réduction d'ordre partiel dans Spot + (Mesures sur la réduction d'ordre partiel dans Spot)
- Metagene, a C++ meta-program generation tool + (Metagene, a C++ meta-program generation tool)
- Method Combinators + (Method Combinators)
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery + (Methods for Explaining Top-N Recommendations Through Subgroup Discovery)
- Metric Learning using a Siamese Deep Neural Network + (Metric Learning using a Siamese Deep Neural Network)
- Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images + (Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images)
- Minimisation d'automates représentant des obligations + (Minimisation d'automates représentant des obligations)
- Minimization of automata representing obligation formulae + (Minimization of automata representing obligation formulae)
- Model Checking using Generalized Testing Automata + (Model Checking using Generalized Testing Automata)
- Model checking with generalized Rabin and Fin-less automata + (Model checking with generalized Rabin and Fin-less automata)
- Model classification in model checking using random forest + (Model classification in model checking using random forest)