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
- 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)
- 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)