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

• 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)
• Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n  + (Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n)
• What Does my GNN Really Capture? On Exploring Internal GNN Representations  + (What Does my GNN Really Capture? On Exploring Internal GNN Representations)
• What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions  + (What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions)
• White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning  + (White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning)
• Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library  + (Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library)
• Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework  + (Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework)
• Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework  + (Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework)
• Writing generic image processing algorithms  + (Writing generic image processing algorithms)
• XML Proposal and its Application in Vaucanson  + (XML Proposal and its Application in Vaucanson)
• XML Proposal and its Application in Vaucanson  + (XML Proposal and its Application in Vaucanson)
• Yet Another Vaucanson GUI  + (Yet Another Vaucanson GUI)