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

• Parallel Model Checking Algorithms for Linear-Time Temporal Logic  + (Jiri Barnat)
• People/Alfred M. Szmidt  + (Alfred M. Szmidt)
• 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 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)
• 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)
• Learning Diversity Attributes in Multi-Session Recommendations  + (Nassim Bouarour)
• People/Amilcar Baptista  + (Amilcar Baptista)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Anjany Sekuboyina)
• Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy  + (Sharib Ali)
• Metric Learning using a Siamese Deep Neural Network  + (Anatole Moreau)
• Calcul de distance par un rśeau de neurones profond siamois  + (Anatole Moreau)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (Raghav Mehta)
• 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  + (Andreas Maier)

• NixOS: A purely functional Linux distribution  + (Eelco Dolstra)
• Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge  + (Li Wang)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (Raghav Mehta)
• 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)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Anjany Sekuboyina)
• 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)
• Découpage automatique des cartes de Cassini  + (Anne-Claire Berthet)
• Détection automatique de zones de textes sur des pièces d'identité  + (Anne-Claire Berthet)
• Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging  + (Christophe Berger)
• Project EFIGI: Automatic classification of galaxies  + (Anthony Baillard)
• Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire  + (Anthony Baillard)
• Web services at TERAPIX  + (Olivier Ricou)
• People/Anthony Pinagot  + (Anthony Pinagot)
• People/Anthony Seure  + (Anthony Seure)
• Logotypes detection and other characteristic invariants  + (Anthony Seure)
• Détection de logotypes et autres invariants caractéristiques  + (Anthony Seure)
• Logotypes detection and other characteristics invariants using SIFT descriptors  + (Anthony Seure)
• Détection de logotypes et autres invariants caractéristiques à l'aide de descripteurs SIFT  + (Anthony Seure)
• Improving OCR k-NN classifier's training set  + (Anthony Seure)