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

• Tarjan Union-Find algorithm and connected operators  + (Tarjan Union-Find algorithm and connected operators)
• Taxonomie des images de Milena  + (Taxonomie des images de Milena)
• Test de vacuité bi-bande dans Spot  + (Test de vacuité bi-bande dans Spot)
• Tester l'appartenance à Persistence ou Récurrence dans Spot  + (Tester l'appartenance à Persistence ou Récurrence dans Spot)
• Text detection in street level image  + (Text detection in street level image)
• Text extraction method based on wavelets  + (Text extraction method based on wavelets)
• TextCatcher: A method to detect curved and challenging text in natural scenes  + (TextCatcher: A method to detect curved and challenging text in natural scenes)
• TextTrail: A Robust Text Tracking Algorithm In Wild Environments  + (TextTrail: A Robust Text Tracking Algorithm In Wild Environments)
• The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results  + (The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results)
• The Biosecure Geometry-based System for Hand Modality  + (The Biosecure Geometry-based System for Hand Modality)
• The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities  + (The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities)
• The Cost of Dynamism in Static Languages for Image Processing  + (The Cost of Dynamism in Static Languages for Image Processing)
• The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images  + (The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images)
• The Hanoi Omega-Automata Format  + (The Hanoi Omega-Automata Format)
• The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation  + (The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation)
• The MIT Lincoln Laboratory 2016 Speaker Recognition System  + (The MIT Lincoln Laboratory 2016 Speaker Recognition System)
• 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)