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
- Effective Reductions of Mealy Machines + (Florian Renkin)
- From Spot 2.0 to Spot 2.10: What's New? + (Alexandre Duret-Lutz)
- Energy Problems in Finite and Timed Automata with Büchi Conditions + (Sven Dziadek)
- Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis + (Guillaume Tochon)
- Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery + (Pierre Duluard)
- Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification + (Najim Dehak)
- Cepstral and Long-Term Features for Emotion Recognition + (Pierre Dumouchel)
- Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification + (Réda Dehak)
- The Role of Speaker Factors in the NIST Extended Data Task + (Patrick Kenny)
- Support Vector Machines and Joint Factor Analysis for Speaker Verification + (Najim Dehak)
- Kernel Combination for SVM Speaker Verification + (Réda Dehak)
- Hate Speech and Toxic Comment Detection using Transformers + (Pierre Guillaume)
- Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification + (Najim Dehak)
- Past People + (Yann Jacquelet)
- People/Pierre Parutto + (Pierre Parutto)
- Adaptive partial order reduction methods + (Pierre Parutto)
- Méthodes de réduction par ordre partiel dans Spot + (Pierre Parutto)
- Partial order reduction methods for Spot + (Pierre Parutto)
- Improving degeneralization in Spot + (Pierre Parutto)
- Méthodes de réduction par ordre partiel adaptatives. + (Pierre Parutto)
- Amélioration de la dégénéralisation dans Spot + (Pierre Parutto)
- Color image segmentation based on automatic morphological clustering + (Pierre-Yves Strub)
- People/Pierre-Yves Strub + (Pierre-Yves Strub)
- Segmentation d'images en couleur par classification morphologique non supervisée + (Pierre-Yves Strub)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (H J Kuijf)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- Past People + (Yann Jacquelet)
- People/Quentin Hocquet + (Quentin Hocquet)
- Scool transformation towards C++ + (Quentin Hocquet)
- revCPP A reversible C++ preprocessor + (Benoît Sigoure)
- revCPP A reversible C++ preprocessor + (Benoît Sigoure)
- revCPP A reversible C++ preprocessor + (Benoît Sigoure)
- revCPP A reversible C++ preprocessor + (Benoît Sigoure)
- Scool transformation towards C++ + (Quentin Hocquet)
- Residual 3D U-Net with Localization for Brain Tumor Segmentation + (Marc Demoustier)
- People/Quoc Peyrot + (Quoc Peyrot)
- Document type recognition using evidence theory + (Thierry Géraud)
- Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks + (A Abou Rida)
- Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks + (A Abou Rida)
- GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux + (J-L Mandel)
- A Secure Blockchain-Based Architecture for the COVID-19 Data Network + (Darine Al-Mohtar)
- The MIT Lincoln Laboratory 2016 Speaker Recognition System + (Pedro A Torres-Carrasquillo)
- On Some Associations Between Mathematical Morphology and Artificial Intelligence + (Isabelle Bloch)
- Contribution to dyn:: + (Raoul Billion)
- Contribution à dyn:: + (Raoul Billion)
- Extraction de texte avec des ondelettes + (Raphael Boissel)