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

• L'Arbre de partition binaire pour le traitement d'images  + (Fabien Houang)
• Binary Partition Tree for Image Processing  + (Fabien Houang)
• Support Vector Machines and Joint Factor Analysis for Speaker Verification  + (Najim Dehak)
• Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata  + (Ala Eddine Ben Salem)
• Generalized Büchi Automata versus Testing Automata for Model Checking  + (Ala Eddine Ben Salem)
• Hierarchical Set Decision Diagrams and Automatic Saturation  + (Alexandre Hamez)
• Model Checking using Generalized Testing Automata  + (Ala Eddine Ben Salem)
• libDMC: a library to Operate Efficient Distributed Model Checking  + (Alexandre Hamez)
• PaInleSS: a Framework for Parallel SAT Solving  + (Ludovic Le Frioux)
• Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation  + (Alexandre Hamez)
• Heuristics for Checking Liveness Properties with Partial Order Reductions  + (Alexandre Duret-Lutz)
• polyDD: Towards a Framework Generalizing Decision Diagrams  + (Alban Linard)
• Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking  + (Etienne Renault)
• 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  + (Fan 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  + (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)