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

• 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  + (Jérôme Darbon)
• The use of levelable regularization functions for MRF restoration of SAR images  + (Jérôme Darbon)
• 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)

• An XML format proposal for the description of weighted automata, transducers, and regular expressions  + (Florent Terrones)
• From an expression to the original automaton  + (Florent Terrones)
• From an expression to the original automaton  + (Florent Terrones)
• Papers about Vaucanson  + (Florent Terrones)
• Past People  + (Florent Terrones)
• People/Florent Terrones  + (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)
• Past People  + (Yann Jacquelet)
• People/Florian Lesaint  + (Florian Lesaint)
• An XML format proposal for the description of weighted automata, transducers, and regular expressions  + (Akim Demaille)
• 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)
• Papers about Vaucanson  + (Akim Demaille)
• People/Florian Quèze  + (Florian Quèze)
• Tools for Attribute Grammars manipulation in Transformers  + (Florian Quèze)
• Découpage de programme C++ avec Transformers  + (Florian Quèze)
• Tools for Attribute Grammars manipulation in Transformers  + (Florian Quèze)
• C++ Program Slicing with Transformers  + (Florian Quèze)
• Transformers : vers la fin du tunnel  + (Florian Quèze)
• Transformers: toward the end of the pipeline  + (Florian Quèze)
• Practical “Paritizing” of Emerson–Lei Automata  + (Florian Renkin)
• Practical Applications of the Alternating Cycle Decomposition  + (Antonio Casares)
• Effective Reductions of Mealy Machines  + (Florian Renkin)