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

• Tree-based shape spaces: Definition and applications in image processing and computer vision  + (Tree-based shape spaces: Definition and applications in image processing and computer vision)
• Trie-based Output Itemset Sampling  + (Trie-based Output Itemset Sampling)
• Tuning SAT Solvers for LTL Model Checking  + (Tuning SAT Solvers for LTL Model Checking)
• Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival  + (Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival)
• Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity  + (Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity)
• Two-automaton accepting run search in Spot  + (Two-automaton accepting run search in Spot)
• Two-automaton emptiness check in Spot  + (Two-automaton emptiness check in Spot)
• Type-Checking of Heterogeneous Sequences in Common Lisp  + (Type-Checking of Heterogeneous Sequences in Common Lisp)
• Un Feedback Arc Set pour Spot  + (Un Feedback Arc Set pour Spot)
• Un algorithme de complexité linéaire pour le calcul de l'arbre des formes  + (Un algorithme de complexité linéaire pour le calcul de l'arbre des formes)
• Un algorithme rapide pour l'arbre auto-dual  + (Un algorithme rapide pour l'arbre auto-dual)
• Un ensemble d'outils de conversion en automate de co-Büchi  + (Un ensemble d'outils de conversion en automate de co-Büchi)
• Une approche générique du logiciel pour le traitement d'images préservant les performances  + (Une approche générique du logiciel pour le traitement d'images préservant les performances)
• Une approche morphologique de segmentation interactive avec l'arbre des formes couleur  + (Une approche morphologique de segmentation interactive avec l'arbre des formes couleur)
• Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images  + (Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images)
• Une généralisation du bien-composé à la dimension n  + (Une généralisation du bien-composé à la dimension n)
• Une implementation efficace de déterminisation d'automates de Büchi généralisés à transitions acceptantes  + (Une implementation efficace de déterminisation d'automates de Büchi généralisés à transitions acceptantes)
• Une implémentation des conteneurs C++ avec SCOOL  + (Une implémentation des conteneurs C++ avec SCOOL)
• Une introduction à Scoop, un paradigme Cxx orienté objet  + (Une introduction à Scoop, un paradigme Cxx orienté objet)
• Unified texture management for arbitrary meshes  + (Unified texture management for arbitrary meshes)
• Uniform Random Sampling of Traces in Very Large Models  + (Uniform Random Sampling of Traces in Very Large Models)
• Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach  + (Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach)
• Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification  + (Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification)
• Urbi et Orbi: unusual design and implementation choices for distributed virtual environments  + (Urbi et Orbi: unusual design and implementation choices for distributed virtual environments)
• Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures  + (Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures)

• Using a wavelet-based descriptor to extract information on object shape  + (Using a wavelet-based descriptor to extract information on object shape)

• Using connected operators to manipulate image components  + (Using connected operators to manipulate image components)
• Using connected operators to manipulate image components  + (Using connected operators to manipulate image components)
• Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection  + (Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection)
• Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions  + (Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions)
• Using the Mumford-Shah segmentation for Text Detection in images  + (Using the Mumford-Shah segmentation for Text Detection in images)
• Utilisation d'un descripteur à base de transformée en ondelettes pour extraire des informations sur la forme des objets  + (Utilisation d'un descripteur à base de transformée en ondelettes pour extraire des informations sur la forme des objets)
• Utilisation de la segmentation de Mumford-Shah pour la détection du texte dans les images  + (Utilisation de la segmentation de Mumford-Shah pour la détection du texte dans les images)
• Variational image inpainting by combination of features  + (Variational image inpainting by combination of features)
• Variations on Parallel Explicit Model Checking for Generalized Büchi Automata  + (Variations on Parallel Explicit Model Checking for Generalized Büchi Automata)
• Vaucanson 2.0 Internals  + (Vaucanson 2.0 Internals)
• Vcsn Meets Linguistics  + (Vcsn Meets Linguistics)
• Vcsn et la linguistique  + (Vcsn et la linguistique)
• Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction  + (Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images)
• Verification de proprietes sur un programme en utilisant de l'analyse statique et de la verification de modele  + (Verification de proprietes sur un programme en utilisant de l'analyse statique et de la verification de modele)
• Verifying Properties on a Program Using Static Analysis and Model Checking  + (Verifying Properties on a Program Using Static Analysis and Model Checking)
• Vers Vaucanson 2.0  + (Vers Vaucanson 2.0)
• Vers Vaucanson 2.0  + (Vers Vaucanson 2.0)
• Vers une réutilisabilité totale des algorithmes de traitement d'images  + (Vers une réutilisabilité totale des algorithmes de traitement d'images)
• Virtual reality and tele-operation: a common framework  + (Virtual reality and tele-operation: a common framework)
• Visualization issues in virtual environments: from computer graphics techniques to intentional visualization  + (Visualization issues in virtual environments: from computer graphics techniques to intentional visualization)
• VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation  + (VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation)
• Voice Activity Detection  + (Voice Activity Detection)
• Weakly Well-Composed Cell Complexes over nD Pictures  + (Weakly Well-Composed Cell Complexes over nD Pictures)
• Web services at TERAPIX  + (Web services at TERAPIX)