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/Christophe Kiciak + (Christophe Kiciak)
- Report on the 5th Workshop ELW at ECOOP 2008 + (Didier Verna)
- Maintenance automatique des symboles exportés dans les packages de Common Lisp + (Christophe Vermorel)
- Automatic maintenance of exported symbols in Common Lisp packages + (Christophe Vermorel)
- 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)
- Counterexample searches in Spot + (Clément Gillard)
- From Spot 2.0 to Spot 2.10: What's New? + (Clément Gillard)
- Recherche de chemin acceptant bi-bande dans Spot + (Clément Gillard)
- Recherches de contrexemple dans Spot + (Clément Gillard)
- Test de vacuité 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)
- 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)
- 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)