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
- C++ container library with the SCOOP paradigm + (Thomas Moulard)
- An overview of Scoop, a static object-oriented paradigm + (Thomas Moulard)
- Une introduction à Scoop, un paradigme Cxx orienté objet + (Thomas Moulard)
- Conception of a static oriented language: an overview of Scool + (Thomas Moulard)
- C++ container library with the SCOOP paradigm + (Thomas Moulard)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning + (Théo Lepage)
- Local Intensity Order Transformation for Robust Curvilinear Object Segmentation + (Tianyi Shi)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- Compositional Approach to Suspension and Other Improvements to LTL Translation + (Tomáš Babiak)
- The Hanoi Omega-Automata Format + (Tomáš Babiak)
- A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers + (Sylvie Boldo)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Past People + (Yann Jacquelet)
- People/Ugo Jardonnet + (Ugo Jardonnet)
- Fast Image Registration + (Ugo Jardonnet)
- Canvas in Morphological Algorithms + (Ugo Jardonnet)
- Reconstruction d'image + (Ugo Jardonnet)
- Canvas in Morphological Algorithms + (Ugo Jardonnet)
- Recalage d'images rapide + (Ugo Jardonnet)
- Image reconstruction + (Ugo Jardonnet)
- Olena Publications + (Edwin Carlinet)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- A Kleene Theorem for Higher-Dimensional Automata + (Uli Fahrenberg)
- A Myhill-Nerode Theorem for Higher-Dimensional Automata + (Uli Fahrenberg)
- Catoids and Modal Convolution Algebras + (Uli Fahrenberg)
- Energy Problems in Finite and Timed Automata with Büchi Conditions + (Uli Fahrenberg)
- Featured Games + (Uli Fahrenberg)
- Higher-Dimensional Timed and Hybrid Automata + (Uli Fahrenberg)
- Introduction to the Special Issue on Distributed Hybrid Systems + (Uli Fahrenberg)
- Posets With Interfaces as a Model for Concurrency + (Uli Fahrenberg)
- Diversifying a Parallel SAT Solver with Bayesian Moment Matching + (V Vallade)
- 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)
- Past People + (Yann Jacquelet)
- People/Valentin David + (Valentin David)
- C-Transformers — A Framework to Write C Program Transformations + (Alexandre Borghi)
- Attribute grammars for C++ disambiguation + (Valentin David)
- Transformers: a C++ program transformation framework + (Robert Anisko)
- C/C++ Disambiguation Using Attribute Grammars + (Valentin David)
- Implementing attributes in SDF + (Alexandre Borghi)
- Attribute Grammars for Modular Disambiguation + (Valentin David)
- Attribute grammars for C++ disambiguation + (Valentin David)
- Transformers: a C++ program transformation framework + (Robert Anisko)
- I-Vectors distance learning with Convolutional Neural Networks + (Valentin Iovene)
- Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution + (Valentin Iovene)
- Modèle du monde à base de réseaux de neurones à délai temporel pour la reconnaissance du locuteur + (Valentin Iovene)
- Domain Mismatch Compensation for Text-Independant Speaker Recognition + (Valentin Iovene)
- Time Delay Neural Networks-Based Universal Background Model for Speaker Recognition + (Valentin Iovene)
- Domain Mismatch Compensation for Text-Independant Speaker Recognition + (Valentin Iovene)
- People/Valentin Tolmer + (Valentin Tolmer)
- Transducer composition in Vaucanson 2 + (Valentin Tolmer)