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
- Automation of Binary Analysis: From Open Source Collection to Threat Intelligence + (Frederic Grelot)
- Vcsn Meets Linguistics + (Sébastien Piat)
- K plus courts chemins dans Vcsn + (Sébastien Piat)
- Vcsn et la linguistique + (Sébastien Piat)
- K shortest-paths in Vcsn + (Sébastien Piat)
- K shortest-paths in Vcsn + (Sébastien Piat)
- K plus courts chemins dans Vcsn + (Sébastien Piat)
- People/Sébastien Uzeel + (Sébastien Uzeel)
- From text detection to text segmentation: a unified evaluation scheme + (Stefania Calarasanu)
- Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection + (Stefania Calarasanu)
- Towards the rectification of highly distorted texts + (Stefania Calarasanu)
- What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions + (Stefania Calarasanu)
- Motion compensation based on Tangent Distance prediction for video compression + (Jonathan Fabrizio)
- TextCatcher: A method to detect curved and challenging text in natural scenes + (Jonathan Fabrizio)
- A Self-Adaptive Likelihood Function for Tracking with Particle Filter + (Séverine Dubuisson)
- TextTrail: A Robust Text Tracking Algorithm In Wild Environments + (Myriam Robert-Seidowsky)
- Olena Publications + (Edwin Carlinet)
- GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux + (J-L Mandel)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Parallel Learning Portfolio-Based Solvers + (Tarek Menouer)
- Parallel Satisfiability Solver Based on Hybrid Partitioning Method + (Tarek Menouer)
- Morphological Analysis of Brownian Motion for Physical Measurements + (Élodie Puybareau)
- LTL Model Checking for Communicating Concurrent Programs + (Adrien Pommellet)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (Swen Jacobs)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- An Experience Report on the Optimization of the Product Configuration System of Renault + (Tewfik Ziadi)
- Optimization of the Product Configuration System of Renault + (Tewfik Ziadi)
- Proposal: an XML representation for automata + (The Vaucanson group)
- Derived-Term Automata of Weighted Rational Expressions with Quotient Operators + (Akim Demaille)
- Spot 2.0 — a framework for LTL and ω-automata manipulation + (Alexandre Duret-Lutz)
- LTL Synthesis with Spot + (Thibaud Michaud)
- Quotient of weighted automata and rational series + (Thibaud Michaud)
- Quotients d'automates pondérés et de séries rationnelles + (Thibaud Michaud)
- Reactive Synthesis from LTL Specification with Spot + (Thibaud Michaud)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (Swen Jacobs)
- Practical Stutter-Invariance Checks for ω-Regular Languages + (Thibaud Michaud)
- Synthèse LTL avec Spot + (Thibaud Michaud)
- Papers about Vaucanson + (Akim Demaille)
- Brain Tumor Segmentation with deep convolutional network approach + (Thibault Buatois)
- Segmentation de tumeur cérébrale par réseau de neurones convolutionel + (Thibault Buatois)
- Smart and robust segmentation of medical images using neural networks + (Thibault Buatois)
- Segmentation robuste et intelligente d'images médicales par réseau de neurones + (Thibault Buatois)
- Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival + (Thibault Buatois)
- Smart and robust segmentation of medical images using neural networks + (Thibault Buatois)
- Segmentation robuste et intelligente d'images médicales par réseau de neurones + (Thibault Buatois)
- Discrimination supervisé de caractères sur des images + (Thibault Deutsch)
- Supervised Discrimination of Characters on Images + (Thibault Deutsch)
- Olena/Day + (Thierry Geraud)
- Jobs/M2 2015 TG Document Image Simplification + (Thierry Geraud)
- Jobs/M2 2015 TG Self Dual Filters + (Thierry Geraud)
- Jobs/M2 2015 TG Text Extraction + (Thierry Geraud)