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-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)
- Algorithms on Transducers + (Valentin Tolmer)
- Composition Efficace de Transducteurs dans Vcsn + (Valentin Tolmer)
- Composition de transducteur dans Vaucanson 2 + (Valentin Tolmer)
- Efficient Transducer Composition in Vcsn + (Valentin Tolmer)
- Algorithmes sur les Transducteurs + (Valentin Tolmer)
- People/Valentine Ogier-Galland + (Valentine Ogier-Galland)
- Support Vector Machines and Joint Factor Analysis for Speaker Verification + (Najim Dehak)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- Calcul du Complexe de Morse-Smale à l'aide de coupe de ligne de partage des eaux + (Victor Collette)
- Morse-Smale Complex computation with Watershed Cut + (Victor Collette)
- Past People + (Yann Jacquelet)
- People/Victor Lenoir + (Victor Lenoir)
- Détection de voix + (Victor Lenoir)
- Séparation de locuteur + (Victor Lenoir)
- Speaker Diarization + (Victor Lenoir)
- Voice Activity Detection + (Victor Lenoir)
- Transducers in Vaucanson 2 + (Victor Marie-Santet)
- Transducteurs dans Vaucanson 2 + (Victor Marie-Santet)
- Papers about Vaucanson + (Akim Demaille)
- Efficient implementations of hierarchical morphological representations + (Victor Simonin)
- Implementations efficaces des representations hierarchiques morphologiques + (Victor Simonin)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers + (Saeed Nejati)
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving + (Vincent Vallade)
- People/Vincent Berruchon + (Vincent Berruchon)
- 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)
- ICDAR 2021 Competition on Historical Map Segmentation + (Joseph Chazalon)
- People/Vincent Ordy + (Vincent Ordy)
- Ajout de la programmation par contrats au C++ avec Transformers + (Vincent Ordy)
- Adding Contracts to C++ with Transformers + (Vincent Ordy)
- Study and Analysis of C++ Extension Conception with Transformers + (Vincent Ordy)
- Étude et analyse de l'écriture d'extensions du C++ grâce à Transformers + (Vincent Ordy)