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

• Generic Image Processing with Climb  + (Laurent Senta)
• Dispatch par propriétés dans les langages fonctionnels  + (Christopher Chedeau)
• Olena Publications  + (Edwin Carlinet)
• Décomposition d'un automate de Büchi Généralisé multi-force  + (Claire Parquier)
• Strength-based decomposition of Büchi automaton  + (Claire Parquier)
• 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)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (Raghav Mehta)
• People/Clément Démoulins  + (Clément Démoulins)
• People/Clément Faure  + (Clément Faure)
• Recherche de chemin acceptant bi-bande dans Spot  + (Clément Gillard)
• Two-automaton accepting run search in Spot  + (Clément Gillard)
• Two-automaton emptiness check in Spot  + (Clément Gillard)
• Test de vacuité bi-bande dans Spot  + (Clément Gillard)
• Counterexample searches in Spot  + (Clément Gillard)
• Recherches de contrexemple dans Spot  + (Clément Gillard)
• From Spot 2.0 to Spot 2.10: What's New?  + (Alexandre Duret-Lutz)
• Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation  + (Yizi Chen)
• ICDAR 2021 Competition on Historical Map Segmentation  + (Joseph Chazalon)
• Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction  + (Yizi Chen)
• Introducing the Boundary-Aware Loss for Deep Image Segmentation  + (Minh Ôn Vũ Ngoc)
• Past People  + (Yann Jacquelet)
• People/Clément Vasseur  + (Clément Vasseur)
• Transformers: a C++ program transformation framework  + (Robert Anisko)
• Semantics driven disambiguation: a comparison of different approaches  + (Clément Vasseur)
• Semantics driven disambiguation: a comparison of different approaches  + (Clément Vasseur)
• Transformers: a C++ program transformation framework  + (Robert Anisko)

• Extraction de l'inverse video dans SCRIBO.  + (Coddy Levi)
• Fast structure preserving inpainting  + (Coddy Levi)
• Inpainting rapide préservant la structure  + (Coddy Levi)
• Inpainting variationnel par combinaison d'invariants  + (Coddy Levi)
• Inverse Video extraction in Scribo  + (Coddy Levi)
• Olena Publications  + (Coddy Levi)
• Past People  + (Coddy Levi)
• People/Coddy Levi  + (Coddy Levi)
• Variational image inpainting by combination of features  + (Coddy Levi)

• A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging  + (Zhaohan Xiong)
• Hate Speech and Toxic Comment Detection using Transformers  + (Pierre Guillaume)
• Methods for Explaining Top-N Recommendations Through Subgroup Discovery  + (Mouloud Iferroudjene)
• Polynomial Identification of omega-Language  + (Corentin Pape)
• Identification Polynomiale des omega-Langages  + (Corentin Pape)
• Towards the World-Wide Quantum Network  + (Cuong Le Quoc)
• Stochastic routing in large grid-shaped quantum networks  + (Cuong Le Quoc)
• On the security of quantum networks: a proposal framework and its capacity  + (Cuong Le Quoc)
• Centaur : Une infrastructure générique simplifiant les transformations de C++  + (Cédric Raud)
• Centaur: A generic framework simplifying C++ transformation  + (Cédric Raud)
• 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)
• Improving the Quality of Rule-Based GNN Explanations  + (Ataollah Kamal)
• Forecasting Electricity Prices: An Optimize Then Predict-Based Approach  + (Léonard Tschora)
• 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)