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

• People/Christopher Chedeau  + (Christopher Chedeau)
• Component Trees and Chaining Operators in Climb  + (Christopher Chedeau)
• Arbres de composantes et opérateurs de chaînage  + (Christopher Chedeau)
• Approche fonctionnelle de la généricité du traitement d'image  + (Christopher Chedeau)
• JSPP: Morphing C++ into JavaScript  + (Christopher Chedeau)
• Functionnal approach of image processing genericity  + (Christopher Chedeau)
• Property based dispatch in functional languages  + (Christopher Chedeau)
• 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)
• Past People  + (Yann Jacquelet)
• 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  + (Clément Mallet)
• ICDAR 2021 Competition on Historical Map Segmentation  + (Clément Mallet)
• Introducing the Boundary-Aware Loss for Deep Image Segmentation  + (Clément Mallet)
• Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction  + (Clément Mallet)

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