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
- In Pursuit of the Hidden Features of GNN's Internal Representations + (Luca Veyrin-Forrer)
- Improving the Quality of Rule-Based GNN Explanations + (Ataollah Kamal)
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery + (Mouloud Iferroudjene)
- Featured Games + (Uli Fahrenberg)
- Active Learning on Visibly One Counter Systems + (Aymeric FAGES)
- Aprentissage Actif d'Automates Visiblement á un compteur + (Aymeric FAGES)
- Verifying Properties on a Program Using Static Analysis and Model Checking + (Aymeric Fages)
- Verification de proprietes sur un programme en utilisant de l'analyse statique et de la verification de modele + (Aymeric Fages)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (Swen Jacobs)
- VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation + (A Raymond)
- 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)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (H J Kuijf)
- A blockchain-based certificate revocation management and status verification system + (Yves Christian Elloh Adja)
- Blockchain-Based Solution for Detecting and Preventing Fake Check Scams + (Badis Hammi)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques + (Baptiste Esteban)
- Estimating the noise level function with the tree of shapes and non-parametric statistics + (Baptiste Esteban)
- Estimation of the noise level function in natural images using the tree of shapes + (Baptiste Esteban)
- Estimation de la fonction de niveau de bruit dans des images naturelles en utilisant l'arbre des formes + (Baptiste Esteban)
- Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics + (Baptiste Esteban)
- Estimation de la fonction de niveau de bruit dans des images multivariées en utilisant l'arbre des formes et des statistiques non-paramétriques + (Baptiste Esteban)
- Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics + (Baptiste Esteban)
- Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique + (Baptiste Esteban)
- Généricité dynamique pour des algorithmes morphologiques + (Baptiste Esteban)
- The Cost of Dynamism in Static Languages for Image Processing + (Baptiste Esteban)
- A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI + (Baptiste Morel)
- 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 + (Baptiste Morel)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- Text detection in street level image + (Jonathan Fabrizio)
- SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes + (Rodrigo Minetto)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- People/Benjamin Raynal + (Benjamin Raynal)
- People/Benjamin Roux + (Benjamin Roux)
- Full Covariance Matrices based Gaussian Mixture Models + (Benjamin Roux)
- Nonlinear Projection for Cosine Distance Scoring in I-Vector based Speaker Verification Systems. + (Benjamin Roux)
- SVM decision taking in I-Vector based Speaker Verification Systems + (Benjamin Roux)
- Prise de décision à l'aide de SVM dans le contexte des systèmes de vérification du loctueur à base d'I-Vector + (Benjamin Roux)
- Projection non-linéaire pour l'attribution de score selon la distance en cosinus dans le contexte des systèmes de vérification du locuteur à base d'i-vectors. + (Benjamin Roux)
- Modèles de mélanges de gaussiennes fondés sur des matrices de covariance pleines + (Benjamin Roux)
- Olena/RoadMap + (David Lesage)
- Past People + (Yann Jacquelet)
- People/Benoît Perrot + (Benoît Perrot)
- A Set of Tools to Teach Compiler Construction + (Akim Demaille)
- People/Benoît Sigoure + (Benoît Sigoure)
- revCPP A reversible C++ preprocessor + (Benoît Sigoure)
- revCPP A reversible C++ preprocessor + (Benoît Sigoure)
- Semantics driven disambiguation: A comparison of different approaches + (Akim Demaille)
- Modeling of Sensor Networks Using XRM + (Akim Demaille)
- TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing + (Akim Demaille)
- revCPP A reversible C++ preprocessor + (Benoît Sigoure)