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

• 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)
• revCPP A reversible C++ preprocessor  + (revCPP A reversible C++ preprocessor)
• revCPP A reversible C++ preprocessor  + (revCPP A reversible C++ preprocessor)
• revCPP A reversible C++ preprocessor  + (revCPP A reversible C++ preprocessor)
• À propos du calcul de l'arbre des formes sur des images n-dimensionnelles en temps quasi-linéaire.  + (À propos du calcul de l'arbre des formes sur des images n-dimensionnelles en temps quasi-linéaire.)
• Étude du fictitious play dans le cas d'un jeu à fonctions d'utilité identiques  + (Étude du fictitious play dans le cas d'un jeu à fonctions d'utilité identiques)
• Étude et analyse de l'écriture d'extensions du C++ grâce à Transformers  + (Étude et analyse de l'écriture d'extensions du C++ grâce à Transformers)
• Étude et implémentation du Fictitious Play alterné  + (Étude et implémentation du Fictitious Play alterné)