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
- 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)
- 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)
- Olena Publications + (Edwin Carlinet)
- 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 + (Miguel Angel Veganzones)
- 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)
- Approximate Nash Equilibria for Multi-Player Games + (Sébastien Hémon)
- 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)
- Olena Publications + (Edwin Carlinet)
- 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)
- Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey + (Daniel Maldonado-Ruiz)
- Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata + (Ala Eddine Ben Salem)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Compositional Approach to Suspension and Other Improvements to LTL Translation + (Tomáš Babiak)
- Is There a Best Büchi Automaton for Explicit Model Checking? + (František Blahoudek)
- Parallel Computation of Component Trees on Distributed Memory Machines + (Markus Götz)
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery + (Mouloud Iferroudjene)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions + (Maelle Moranges)