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
- On GNN Explainability with Activation Rules + (Luca Veyrin-Forrer)
- In Pursuit of the Hidden Features of GNN's Internal Representations + (Luca Veyrin-Forrer)
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery + (Mouloud Iferroudjene)
- Improving the Quality of Rule-Based GNN Explanations + (Ataollah Kamal)
- Forecasting Electricity Prices: An Optimize Then Predict-Based Approach + (Léonard Tschora)
- A note on nice-levelable MRFs for SAR image denoising with contrast preservation + (Jérôme Darbon)
- A Fast and Exact Algorithm for Total Variation Minimization + (Jérôme Darbon)
- The use of levelable regularization functions for MRF restoration of SAR images + (Jérôme Darbon)
- Exact optimization of discrete constrained total variation minimization problems + (Jérôme Darbon)
- Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization + (Jérôme Darbon)
- Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials + (Jérôme Darbon)
- Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case + (Jérôme Darbon)
- Exact optimization of discrete constrained total variation minimization problems + (Jérôme Darbon)
- A fast and exact algorithm for total variation minimization + (Jérôme Darbon)
- Algorithms for Mathematical Morphology + (Marc Van Droogenbroeck)
- Morphologie et algorithmes + (Marc Van Droogenbroeck)
- Weakly Well-Composed Cell Complexes over nD Pictures + (Nicolas Boutry)
- Euler Well-Composedness + (Nicolas Boutry)
- One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures + (Nicolas Boutry)
- Strong Euler Wellcomposedness + (Nicolas Boutry)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (Marie Duflot)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC + (Marie Duflot)
- Uniform Random Sampling of Traces in Very Large Models + (Alain Denise)
- A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy + (Sharib Ali)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Parallel Computation of Component Trees on Distributed Memory Machines + (Markus Götz)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- Reimplementation of testing-automata in Spot + (Martin Huvelle)
- Réimplémentation des automates testeurs dans Spot + (Martin Huvelle)
- Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness + (Marçal Rusiñol)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- Text detection in street level image + (Jonathan Fabrizio)
- SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes + (Rodrigo Minetto)
- Past People + (Yann Jacquelet)
- People/Matthieu Garrigues + (Matthieu Garrigues)
- Stage de traitement d'image au LRDE + (Matthieu Garrigues)
- Fast Level Line Transform + (Matthieu Garrigues)
- Transformation des courbes de niveau rapide + (Matthieu Garrigues)