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
- Smart and robust segmentation of medical images using neural networks + (Smart and robust segmentation of medical images using neural networks)
- SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode + (SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode)
- SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes + (SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes)
- Software engineering in Olena Core + (Software engineering in Olena Core)
- Software engineering in Olena Core + (Software engineering in Olena Core)
- Some Equivalence Relation between Persistent Homology and Morphological Dynamics + (Some Equivalence Relation between Persistent Homology and Morphological Dynamics)
- Spatial reasoning with relative incomplete information on relative positioning + (Spatial reasoning with relative incomplete information on relative positioning)
- Speaker Diarization + (Speaker Diarization)
- Speaker Diarization based on Independent Component Analysis + (Speaker Diarization based on Independent Component Analysis)
- Speaker Diarization based on the Mel Frequency Cepstral Coefficients + (Speaker Diarization based on the Mel Frequency Cepstral Coefficients)
- Speaker recognition evaluation: selective approaches and fusion + (Speaker recognition evaluation: selective approaches and fusion)
- Speaker recognition evaluation: selective approaches and fusion + (Speaker recognition evaluation: selective approaches and fusion)
- Speaker specific i-vector channel compensation in speaker recognition + (Speaker specific i-vector channel compensation in speaker recognition)
- Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking + (Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking)
- Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy + (Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy)
- Spot 2.0 — a framework for LTL and ω-automata manipulation + (Spot 2.0 — a framework for LTL and ω-automata manipulation)
- Stability of the Tree of Shapes to Additive Noise + (Stability of the Tree of Shapes to Additive Noise)
- Stacked and parallel U-nets with multi-output for myocardial pathology segmentation + (Stacked and parallel U-nets with multi-output for myocardial pathology segmentation)
- Stage de traitement d'image au LRDE + (Stage de traitement d'image au LRDE)
- Stage de traitement d'image au LRDE + (Stage de traitement d'image au LRDE)
- Stage de traitement d'image au LRDE + (Stage de traitement d'image au LRDE)
- Stage de traitement d'image au LRDE + (Stage de traitement d'image au LRDE)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge)
- 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)