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
- SCOOL: Generic programming + (Maxime van Noppen)
- SCOOL: Concept-Oriented Programming + (Maxime van Noppen)
- SCOOL: Programmation générique et concepts + (Maxime van Noppen)
- SCOOL: object orientation of a static language + (Maxime van Noppen)
- SCOOL: object orientation of a static language + (Maxime van Noppen)
- SCOOL: Programmation générique + (Maxime van Noppen)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Reactive Synthesis from LTL Specification with Spot + (Thibaud Michaud)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (Swen Jacobs)
- Programmatic Manipulation of Common Lisp Type Specifiers + (Jim Newton)
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving + (Hakan Metin)
- Past People + (Yann Jacquelet)
- Jobs/M2 2017 MC Spot demo + (Alexandre Duret-Lutz)
- From Spot 2.0 to Spot 2.10: What's New? + (Alexandre Duret-Lutz)
- Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents + (Youcef Remil)
- genus.py: a Simple Embeddable Type System for the Python language + (Mehdi OUESLATI)
- genus.py: un Système Simple de Typage Embarqué pour le language Python + (Mehdi OUESLATI)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina + (Michael Atlan)
- Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) + (Michael Atlan)
- Motion Compensation in Digital Holography for Retinal Imaging + (Michael Atlan)
- Olena Publications + (Michael Atlan)
- Past People + (Yann Jacquelet)
- People/Michael Cadilhac + (Michael Cadilhac)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Cover automata for finite languages + (Michaël Cadilhac)
- Cover automata for finite languages + (Michaël Cadilhac)
- Evaluating complex MAC protocols for sensor networks with APMC + (Michaël Cadilhac)
- Papers about Vaucanson + (Akim Demaille)
- An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming + (Michaël Roynard)
- Olena Publications + (Edwin Carlinet)
- A Modern C++ Point of View of Programming in Image Processing + (Michaël Roynard)
- Motion Compensation in Digital Holography for Retinal Imaging + (Julie Rivet)
- Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina + (Julie Rivet)
- Probabilistic abstraction for model checking: an approach based on property testing + (Sophie Laplante)
- Approximate Nash Equilibria for Multi-Player Games + (Sébastien Hémon)
- On a Polynomial Vector Field Model for Shape Representation + (Mickael Chekroun)
- Extraction of Ancient Map Contents Using Trees of Connected Components + (Jordan Drapeau)
- People/Mickaël Saada + (Mickaël Saada)
- People/Mickaël Strauss + (Mickaël Strauss)
- Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images + (Guillaume Tochon)
- Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis + (Guillaume Tochon)
- On Robustness for the Skolem and Positivity Problems + (S Akshay)
- Seminator: A Tool for Semi-Determinization of Omega-Automata + (František Blahoudek)
- Saliency-Based Detection of Identity Documents Captured by Smartphones + (Minh Ôn Vũ Ngoc)