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

• The Role of Speaker Factors in the NIST Extended Data Task  + (The Role of Speaker Factors in the NIST Extended Data Task)
• The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis  + (The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis)
• The Tree of Shapes Comparative Review of Component Tree Computation Algorithms.  + (The Tree of Shapes Comparative Review of Component Tree Computation Algorithms.)
• The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm  + (The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm)
• The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm  + (The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm)
• The incredible tale of the author who didn't want to do the publisher's job  + (The incredible tale of the author who didn't want to do the publisher's job)
• The use of levelable regularization functions for MRF restoration of SAR images  + (The use of levelable regularization functions for MRF restoration of SAR images)
• Three SCC-based Emptiness Checks for Generalized Büchi Automata  + (Three SCC-based Emptiness Checks for Generalized Büchi Automata)
• TiCL: the Prototype (Star TeX: the Next GenerationSeason 2)  + (TiCL: the Prototype (Star TeX: the Next GenerationSeason 2))
• Tiger Project poster  + (Tiger Project poster)
• Time Delay Neural Networks-Based Universal Background Model for Speaker Recognition  + (Time Delay Neural Networks-Based Universal Background Model for Speaker Recognition)
• Tools for Attribute Grammars manipulation in Transformers  + (Tools for Attribute Grammars manipulation in Transformers)
• Tools for Attribute Grammars manipulation in Transformers  + (Tools for Attribute Grammars manipulation in Transformers)
• Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids  + (Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids)
• 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)