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

• From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning  + (Yongchao Xu)
• On Some Associations Between Mathematical Morphology and Artificial Intelligence  + (Isabelle Bloch)
• Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge  + (Li Wang)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Anjany Sekuboyina)
• Benchmarking Keypoint Filtering Approaches for Document Image Matching  + (E Royer)
• CosySEL: Improving SAT Solving Using Local Symmetries  + (S Saouli)
• Cosine Similarity Scoring without Score Normalization Techniques  + (Najim Dehak)
• A Channel-Blind System for Speaker Verification  + (Najim Dehak)
• Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification  + (S Shum)
• Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach  + (S Shum)
• SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode  + (J Chazalon)
• Olena Publications  + (Edwin Carlinet)
• Diversifying a Parallel SAT Solver with Bayesian Moment Matching  + (V Vallade)
• Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge  + (H J Kuijf)
• 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)
• PAIP 2019: Liver Cancer Segmentation Challenge  + (Yoo Jung Kim)
• Parallel Model Checking Algorithms for Linear-Time Temporal Logic  + (Jiri Barnat)
• Explicit State Model Checking with Generalized Büchi and Rabin Automata  + (Vincent Bloemen)
• Model checking with generalized Rabin and Fin-less automata  + (Vincent Bloemen)

• A Type System for Weighted Automata and Rational Expressions  + (Jacques Sakarovitch)
• An XML format proposal for the description of weighted automata, transducers, and regular expressions  + (Jacques Sakarovitch)
• Implementation Concepts in Vaucanson 2  + (Jacques Sakarovitch)
• Inside Vaucanson  + (Jacques Sakarovitch)
• Introducing Vaucanson  + (Jacques Sakarovitch)
• Introducing Vaucanson  + (Jacques Sakarovitch)
• Papers about Vaucanson  + (Jacques Sakarovitch)

• Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation  + (Geoffroy Fouquier)
• Blockchain-Based Solution for Detecting and Preventing Fake Check Scams  + (Badis Hammi)
• Using the Mumford-Shah segmentation for Text Detection in images  + (James Batten)
• Utilisation de la segmentation de Mumford-Shah pour la détection du texte dans les images  + (James Batten)
• Olena Publications  + (Edwin Carlinet)
• Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy  + (Sharib Ali)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Anjany Sekuboyina)
• The Hanoi Omega-Automata Format  + (Tomáš Babiak)
• 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)
• Seminator: A Tool for Semi-Determinization of Omega-Automata  + (František Blahoudek)
• On Refinement of Büchi Automata for Explicit Model Checking  + (František Blahoudek)
• Generic Emptiness Check for Fun and Profit  + (Christel Baier)
• Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization  + (František Blahoudek)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (Raghav Mehta)
• Olena/RoadMap  + (David Lesage)
• People/Jean Chalard  + (Jean Chalard)
• High throughput automated detection of axial malformations in fish embryo  + (Diane Genest)
• High Throughput Automated Detection of Axial Malformations in Medaka Embryo  + (Diane Genest)
• Past People  + (Yann Jacquelet)
• People/Jean-Baptiste Mouret  + (Jean-Baptiste Mouret)
• Fast road network extraction in satellite images using mathematical morphology and Markov random fields  + (Thierry Géraud)