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

• Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata  + (Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata)
• Synchronized Tranducers  + (Synchronized Tranducers)
• Synchronous relations in Vaucanson  + (Synchronous relations in Vaucanson)
• Synthèse LTL avec Spot  + (Synthèse LTL avec Spot)
• Système de discriminants linéaires pour la vérification du locuteur  + (Système de discriminants linéaires pour la vérification du locuteur)
• Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification  + (Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification)
• Séparation de locuteur  + (Séparation de locuteur)
• TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing  + (TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing)
• Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos.  + (Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos.)
• 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)