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

• Topological Watershed  + (Topological Watershed)
• Topology-Aware Method to Segment 3D Plan Tissue Images  + (Topology-Aware Method to Segment 3D Plan Tissue Images)
• Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter  + (Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter)
• Towards Better Heuristics for Solving Bounded Model Checking Problems  + (Towards Better Heuristics for Solving Bounded Model Checking Problems)
• Towards Better Heuristics for Solving Bounded Model Checking Problems  + (Towards Better Heuristics for Solving Bounded Model Checking Problems)
• Towards LaTeX Coding Standards  + (Towards LaTeX Coding Standards)
• Towards Vaucanson 2.0  + (Towards Vaucanson 2.0)
• Towards Vaucanson 2.0  + (Towards Vaucanson 2.0)
• Towards a Software Architecture for Generic Image Processing  + (Towards a Software Architecture for Generic Image Processing)
• Towards more efficient parallel SAT solving  + (Towards more efficient parallel SAT solving)
• Towards the World-Wide Quantum Network  + (Towards the World-Wide Quantum Network)
• Towards the rectification of highly distorted texts  + (Towards the rectification of highly distorted texts)
• Traduction d'une LTL étendue en TGBA dans Spot  + (Traduction d'une LTL étendue en TGBA dans Spot)
• Traduction d'une LTL étendue en TGBA dans Spot  + (Traduction d'une LTL étendue en TGBA dans Spot)
• Traduction efficace de formules LTL d'équité en automates déterministes  + (Traduction efficace de formules LTL d'équité en automates déterministes)
• Traitement curatif pour Vaucanson: un renforcement du concept d'automate  + (Traitement curatif pour Vaucanson: un renforcement du concept d'automate)
• Traitement d'images de cartes anciennes pour la détection de parcelles  + (Traitement d'images de cartes anciennes pour la détection de parcelles)
• Traitement d'images multivariées avec l'arbre des formes  + (Traitement d'images multivariées avec l'arbre des formes)
• Transducer composition in Vaucanson 2  + (Transducer composition in Vaucanson 2)
• Transducers in Vaucanson 2  + (Transducers in Vaucanson 2)
• Transducteurs dans Vaucanson 2  + (Transducteurs dans Vaucanson 2)
• Transducteurs synchronisés  + (Transducteurs synchronisés)
• Transfinite Chomp  + (Transfinite Chomp)
• Transfinite Chomp  + (Transfinite Chomp)
• Transformation des courbes de niveau rapide  + (Transformation des courbes de niveau rapide)
• Transformers : vers la fin du tunnel  + (Transformers : vers la fin du tunnel)

• Transformers: a C++ program transformation framework  + (Transformers: a C++ program transformation framework)
• Transformers: a C++ program transformation framework  + (Transformers: a C++ program transformation framework)

• Transformers: toward the end of the pipeline  + (Transformers: toward the end of the pipeline)
• Translation of an extended LTL into TBGA in Spot  + (Translation of an extended LTL into TBGA in Spot)
• Translation of an extended LTL into TBGA in Spot  + (Translation of an extended LTL into TBGA in Spot)
• Tree-Based Morse Regions: A Topological Approach to Local Feature Detection  + (Tree-Based Morse Regions: A Topological Approach to Local Feature Detection)
• 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)