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
- Variations on Parallel Explicit Model Checking for Generalized Büchi Automata + (Etienne Renault)
- Parallel Explicit Model Checking for Generalized Büchi Automata + (Etienne Renault)
- Three SCC-based Emptiness Checks for Generalized Büchi Automata + (Etienne Renault)
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving + (Hakan Metin)
- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework + (Ludovic Le Frioux)
- On the Usefulness of Clause Strengthening in Parallel SAT Solving + (Vincent Vallade)
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving + (Vincent Vallade)
- Unified texture management for arbitrary meshes + (Sylvain Lefebvre)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- People/Fanny Riols + (Fanny Riols)
- Speaker Diarization based on the Mel Frequency Cepstral Coefficients + (Fanny Riols)
- La Segmentation du Locuteur Basée sur les Coefficients Cepstraux sur l'échelle de Mel + (Fanny Riols)
- Markov Clustering Algorithm for Unsupervised Speaker Recognition System + (Fanny Riols)
- La Segmentation du Locuteur basée sur l'Analyse en Composantes Indépendantes + (Fanny Riols)
- L'algorithme de Partitionnement de Markov pour le Système Supervisé de Vérification du Locuteur + (Fanny Riols)
- Speaker Diarization based on Independent Component Analysis + (Fanny Riols)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (Swen Jacobs)
- Minimization of automata representing obligation formulae + (Felix Abecassis)
- Parallélisation dans une bibliothèque de traitement d'images générique + (Felix Abecassis)
- Optimisations dans le compilateur Tiger + (Felix Abecassis)
- Parallelization in a generic image processing library + (Felix Abecassis)
- Optimizations in the Tiger Compiler + (Felix Abecassis)
- Minimisation d'automates représentant des obligations + (Felix Abecassis)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Real Time Face Expression Recognition + (Ferdinand Mom)
- ... Insert a title in French here ... + (Ferdinand Mom)
- A note on nice-levelable MRFs for SAR image denoising with contrast preservation + (Florence Tupin)
- The use of levelable regularization functions for MRF restoration of SAR images + (Florence Tupin)
- Past People + (Yann Jacquelet)
- People/Florent D'Halluin + (Florent D'Halluin)
- Yet Another Vaucanson GUI + (Florent D'Halluin)
- Benchmarking Vaucanson and large C++ libraries + (Florent D'Halluin)
- Analyse de performances dans Vaucanson + (Florent D'Halluin)
- Interface graphique de Vaucanson + (Florent D'Halluin)
- Adapting Vaucanson algorithms to a simpler interface + (Florent D'Halluin)
- Adaptation d'algorithmes de Vaucanson à une interface plus simple + (Florent D'Halluin)
- Papers about Vaucanson + (Akim Demaille)
- People/Florent Terrones + (Florent Terrones)
- An XML format proposal for the description of weighted automata, transducers, and regular expressions + (Akim Demaille)
- From an expression to the original automaton + (Florent Terrones)
- From an expression to the original automaton + (Florent Terrones)
- A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers + (Sylvie Boldo)
- Max-Tree Computation on GPUs + (Nicolas Blin)
- People/Florian Lesaint + (Florian Lesaint)
- Les relations synchrones dans Vaucanson + (Florian Lesaint)
- FSMXML et son utilisation dans Vaucanson + (Florian Lesaint)
- FSMXML and its application in Vaucanson + (Florian Lesaint)
- XML Proposal and its Application in Vaucanson + (Florian Lesaint)
- Synchronous relations in Vaucanson + (Florian Lesaint)
- XML Proposal and its Application in Vaucanson + (Florian Lesaint)
- People/Florian Quèze + (Florian Quèze)
- Tools for Attribute Grammars manipulation in Transformers + (Florian Quèze)