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
- 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)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Calcul de distance par un rśeau de neurones profond siamois + (Anatole Moreau)
- Metric Learning using a Siamese Deep Neural Network + (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 + (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)