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

• Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues  + (Thierry Géraud)
• The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities  + (Yongchao Xu)
• Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information  + (Thierry Géraud)
• White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning  + (Yongchao Xu)
• Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage  + (Yongchao Xu)
• 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)
• 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)
• Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge  + (H J Kuijf)
• 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  + (J Sopena)

• 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)
• Inside Vaucanson  + (Thomas Claveirole)
• Implementation Concepts in Vaucanson 2  + (Akim Demaille)
• An XML format proposal for the description of weighted automata, transducers, and regular expressions  + (Akim Demaille)
• Introducing Vaucanson  + (Sylvain Lombardy)
• Introducing Vaucanson  + (Sylvain Lombardy)
• A Type System for Weighted Automata and Rational Expressions  + (Akim Demaille)
• Papers about Vaucanson  + (Akim Demaille)
• 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)