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

• Apprentissage d'Opérations Morphologiques  + (Alexandre Kirszenberg)
• Going beyond p-convolutions to learn grayscale morphological operators  + (Alexandre Kirszenberg)
• Go2Pins: A Framework for the LTL Verification of Go Programs  + (Alexandre Kirszenberg)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Anjany Sekuboyina)
• Learning Grayscale Mathematical Morphology with Smooth Morphological Layers  + (Romain Hermary)
• Go2Pins: A framework for the LTL verification of Go programs (Extended Version)  + (Etienne Renault)
• People/Alexandre Lewkowicz  + (Alexandre Lewkowicz)
• Spot 2.0 — a framework for LTL and ω-automata manipulation  + (Alexandre Duret-Lutz)
• Un Feedback Arc Set pour Spot  + (Alexandre Lewkowicz)
• An efficient implementation of transition-based generalized Büchi automaton determinization  + (Alexandre Lewkowicz)
• Améliorer la determinisation d'automates de Büchi  + (Alexandre Lewkowicz)
• Une implementation efficace de déterminisation d'automates de Büchi généralisés à transitions acceptantes  + (Alexandre Lewkowicz)
• A Feedback Arc Set for Spot  + (Alexandre Lewkowicz)
• Improving the determinization of Büchi automata  + (Alexandre Lewkowicz)
• From Spot 2.0 to Spot 2.10: What's New?  + (Alexandre Duret-Lutz)
• People/Alexis Angelidis  + (Alexis Angelidis)
• Visualization issues in virtual environments: from computer graphics techniques to intentional visualization  + (Alexis Angelidis)
• Parallel Model Checking Algorithms for Linear-Time Temporal Logic  + (Jiri Barnat)
• People/Alfred M. Szmidt  + (Alfred M. Szmidt)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (Raghav Mehta)
• Méthode d'évaluation d'évaluateur d'algorithme de détection de texte  + (Aliona Dangla)
• Intégration d'histogrammes dans l'algorithme NL-Mean pour le débruitage d'images  + (Aliona Dangla)
• Evaluation method of text detection algorithm rating  + (Aliona Dangla)
• Integration of histograms in the NL-Mean algorithm for image denoising.  + (Aliona Dangla)
• A first step toward a fair comparison of evaluation protocols for text detection algorithms  + (Aliona Dangla)
• Olena Publications  + (Edwin Carlinet)

• A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy  + (Alptekin Temizel)
• Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy  + (Alptekin Temizel)

• A Secure Blockchain-Based Architecture for the COVID-19 Data Network  + (Darine Al-Mohtar)
• 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)
• Alternating automata support  + (Amaury Fauchille)
• Spot 2.0 — a framework for LTL and ω-automata manipulation  + (Alexandre Duret-Lutz)
• Le support des automates alternants  + (Amaury Fauchille)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Anjany Sekuboyina)
• Learning Diversity Attributes in Multi-Session Recommendations  + (Nassim Bouarour)
• People/Amilcar Baptista  + (Amilcar Baptista)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (Raghav Mehta)
• Metric Learning using a Siamese Deep Neural Network  + (Anatole Moreau)
• Calcul de distance par un rśeau de neurones profond siamois  + (Anatole Moreau)
• Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking  + (Guillaume Tochon)
• A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging  + (Zhaohan Xiong)
• NixOS: A purely functional Linux distribution  + (Eelco Dolstra)
• Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge  + (Li Wang)
• Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents  + (Youcef Remil)
• Towards Better Heuristics for Solving Bounded Model Checking Problems  + (Anissa Kheireddine)
• Towards Better Heuristics for Solving Bounded Model Checking Problems  + (Anissa Kheireddine)
• Tuning SAT Solvers for LTL Model Checking  + (Anissa Kheireddine)
• Image processing for plots detection from ancient maps  + (Anne-Claire Berthet)
• Automatic segmentation of Cassini's maps  + (Anne-Claire Berthet)
• Traitement d'images de cartes anciennes pour la détection de parcelles  + (Anne-Claire Berthet)
• Automatic detection of text zones on identity documents.  + (Anne-Claire Berthet)