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
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving + (Hakan Metin)
- 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)
- Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina + (Julie Rivet)
- Olena Publications + (Edwin Carlinet)
- Motion Compensation in Digital Holography for Retinal Imaging + (Julie Rivet)
- Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) + (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)
- A Modern C++ Point of View of Programming in Image Processing + (Michaël Roynard)
- An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming + (Michaël Roynard)
- Olena Publications + (Michaël Roynard)
- Motion Compensation in Digital Holography for Retinal Imaging + (Julie Rivet)
- Olena Publications + (Edwin Carlinet)
- 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)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- 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)
- A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation + (Minh Ôn Vũ Ngoc)
- Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms + (Minh Ôn Vũ Ngoc)
- Introducing the Boundary-Aware Loss for Deep Image Segmentation + (Minh Ôn Vũ Ngoc)
- Document detection in videos captured by smartphones using a saliency-based method + (Minh Ôn Vũ Ngoc)
- Topology-Aware Method to Segment 3D Plan Tissue Images + (Minh Ôn Vũ Ngoc)
- The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images + (Minh Ôn Vũ Ngoc)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- New Security Protocols for Offline Point-of-Sale Machines + (Nour El Madhoun)
- An Innovative and Decentralized Identity Framework Based on Blockchain Technology + (Daniel Maldonado-Ruiz)