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

• 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)
• eXtended Reactive Modules  + (eXtended Reactive Modules)
• eXtended Reactive Modules  + (eXtended Reactive Modules)
• genus.py: a Simple Embeddable Type System for the Python language  + (genus.py: a Simple Embeddable Type System for the Python language)
• genus.py: un Système Simple de Typage Embarqué pour le language Python  + (genus.py: un Système Simple de Typage Embarqué pour le language Python)
• go2pins: A model checking toolset for the Go programming language  + (go2pins: A model checking toolset for the Go programming language)
• go2pins: vérification de modèles pour le langage de programmation Go  + (go2pins: vérification de modèles pour le langage de programmation Go)
• libDMC: a library to Operate Efficient Distributed Model Checking  + (libDMC: a library to Operate Efficient Distributed Model Checking)
• polyDD: Towards a Framework Generalizing Decision Diagrams  + (polyDD: Towards a Framework Generalizing Decision Diagrams)
• revCPP A reversible C++ preprocessor  + (revCPP A reversible C++ preprocessor)