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
- A Type System for Weighted Automata and Rational Expressions + (Akim Demaille)
- Papers about Vaucanson + (Akim Demaille)
- Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN + (Luca Veyrin-Forrer)
- What Does my GNN Really Capture? On Exploring Internal GNN Representations + (Luca Veyrin-Forrer)
- On GNN Explainability with Activation Rules + (Luca Veyrin-Forrer)
- In Pursuit of the Hidden Features of GNN's Internal Representations + (Luca Veyrin-Forrer)
- Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity + (Lucas Drumetz)
- Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation + (Lucas Drumetz)
- Olena Publications + (Edwin Carlinet)
- Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks + (Joaquim Estopinan)
- Random rational expression generation + (Lucien Boillod)
- Génération aléatoire d'expression rationnelle + (Lucien Boillod)
- Residual 3D U-Net with Localization for Brain Tumor Segmentation + (Marc Demoustier)
- PaInleSS: a Framework for Parallel SAT Solving + (Ludovic Le Frioux)
- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework + (Ludovic Le Frioux)
- Past People + (Yann Jacquelet)
- Towards more efficient parallel SAT solving + (Ludovic Le Frioux)
- A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers + (Saeed Nejati)
- On the Usefulness of Clause Strengthening in Parallel SAT Solving + (Vincent Vallade)
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving + (Vincent Vallade)
- People/Ludovic Perrine + (Ludovic Perrine)
- Support Vector Machines and Joint Factor Analysis for Speaker Verification + (Najim Dehak)
- Loss functions benchmark for brain tumour segmentation + (Lukas Rabier)
- Banc d'essai de fonctions de coûts appliquées á la segmentation de tumeurs cérébrales + (Lukas Rabier)
- Implementing Baker's SUBTYPEP decision procedure + (Léo Valais)
- Electricity Price Forecasting on the Day-Ahead Market using Machine Learning + (Léonard Tschora)
- Forecasting Electricity Prices: An Optimize Then Predict-Based Approach + (Léonard Tschora)
- Connected Filters on Generalized Shape-Spaces + (Lê Duy Huỳnh)
- Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings + (Lê Duy Huỳnh)
- Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images + (Lê Duy Huỳnh)
- Olena Publications + (Lê Duy Huỳnh)
- Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. + (Lê Duy Huỳnh)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Lê Duy Huỳnh)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (H J Kuijf)
- SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode + (J Chazalon)
- Olena Publications + (Edwin Carlinet)
- GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification + (Najim Dehak)
- Benchmarking Keypoint Filtering Approaches for Document Image Matching + (E Royer)
- First Attempt at Boltzmann Machines for Speaker Recognition + (M Sennoussaoui)
- Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions + (Maelle Moranges)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata + (Manfred Droste)
- Blockchain-Based Solution for Detecting and Preventing Fake Check Scams + (Badis Hammi)
- Residual 3D U-Net with Localization for Brain Tumor Segmentation + (Marc Demoustier)
- Debug Packages in OpenBSD + (Marc Espie)
- High throughput automated detection of axial malformations in fish embryo + (Diane Genest)
- High Throughput Automated Detection of Axial Malformations in Medaka Embryo + (Diane Genest)
- Electricity Price Forecasting on the Day-Ahead Market using Machine Learning + (Léonard Tschora)
- Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN + (Luca Veyrin-Forrer)
- Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery + (Pierre Duluard)
- Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents + (Youcef Remil)
- What Does my GNN Really Capture? On Exploring Internal GNN Representations + (Luca Veyrin-Forrer)
- On GNN Explainability with Activation Rules + (Luca Veyrin-Forrer)
- In Pursuit of the Hidden Features of GNN's Internal Representations + (Luca Veyrin-Forrer)