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
- Semantics driven disambiguation + (Semantics driven disambiguation)
- Semantics driven disambiguation: A comparison of different approaches + (Semantics driven disambiguation: A comparison of different approaches)
- Semantics driven disambiguation: A comparison of different approaches + (Semantics driven disambiguation: A comparison of different approaches)
- Semantics driven disambiguation: A comparison of different approaches + (Semantics driven disambiguation: A comparison of different approaches)
- Semantics driven disambiguation: a comparison of different approaches + (Semantics driven disambiguation: a comparison of different approaches)
- Semantics driven disambiguation: a comparison of different approaches + (Semantics driven disambiguation: a comparison of different approaches)
- Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) + (Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2))
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization + (Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization)
- Seminator: A Tool for Semi-Determinization of Omega-Automata + (Seminator: A Tool for Semi-Determinization of Omega-Automata)
- Shape-based hand recognition + (Shape-based hand recognition)
- Simulation-based Reductions for TGBA + (Simulation-based Reductions for TGBA)
- Single-pass Testing Automata for LTL Model Checking + (Single-pass Testing Automata for LTL Model Checking)
- Smart and robust segmentation of medical images using neural networks + (Smart and robust segmentation of medical images using neural networks)
- 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)