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

• Star TeX : the Next Generation  + (Star TeX : the Next Generation)
• State compression in Spot  + (State compression in Spot)
• Stochastic routing in large grid-shaped quantum networks  + (Stochastic routing in large grid-shaped quantum networks)
• Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking  + (Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking)
• Strength-based decomposition of Büchi automaton  + (Strength-based decomposition of Büchi automaton)
• Strong Euler Wellcomposedness  + (Strong Euler Wellcomposedness)
• Study and Analysis of C++ Extension Conception with Transformers  + (Study and Analysis of C++ Extension Conception with Transformers)
• Supervised Discrimination of Characters on Images  + (Supervised Discrimination of Characters on Images)
• Support Vector Machines and Joint Factor Analysis for Speaker Verification  + (Support Vector Machines and Joint Factor Analysis for Speaker Verification)
• Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification  + (Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification)
• Suppression efficace de transitions spontanées dans Vcsn  + (Suppression efficace de transitions spontanées dans Vcsn)
• 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)