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
- Tuning SAT Solvers for LTL Model Checking + (Anissa Kheireddine)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Image processing for plots detection from ancient maps + (Anne-Claire Berthet)
- Automatic segmentation of Cassini's maps + (Anne-Claire Berthet)
- Traitement d'images de cartes anciennes pour la détection de parcelles + (Anne-Claire Berthet)
- Automatic detection of text zones on identity documents. + (Anne-Claire Berthet)
- Découpage automatique des cartes de Cassini + (Anne-Claire Berthet)
- Détection automatique de zones de textes sur des pièces d'identité + (Anne-Claire Berthet)
- Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging + (Christophe Berger)
- Project EFIGI: Automatic classification of galaxies + (Anthony Baillard)
- Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire + (Anthony Baillard)
- Web services at TERAPIX + (Olivier Ricou)
- People/Anthony Pinagot + (Anthony Pinagot)
- People/Anthony Seure + (Anthony Seure)
- Logotypes detection and other characteristic invariants + (Anthony Seure)
- Détection de logotypes et autres invariants caractéristiques + (Anthony Seure)
- Logotypes detection and other characteristics invariants using SIFT descriptors + (Anthony Seure)
- Détection de logotypes et autres invariants caractéristiques à l'aide de descripteurs SIFT + (Anthony Seure)
- Improving OCR k-NN classifier's training set + (Anthony Seure)
- Amélioration de la base d'entraînement d'un classifieur k-nn d'OCR + (Anthony Seure)
- Olena Publications + (Edwin Carlinet)
- A Corpus Processing and Analysis Pipeline for Quickref + (Antoine Hacquard)
- Parallelism and Indexation in Quickref + (Antoine Hacquard)
- Parallélisation et Indexation de Quickref + (Antoine Hacquard)
- Past People + (Yann Jacquelet)
- People/Antoine Leblanc + (Antoine Leblanc)
- Efficient algorithmic methods for Nash equilibria computation + (Antoine Leblanc)
- Alternate Fictitious Play study and implementation + (Antoine Leblanc)
- Étude et implémentation du Fictitious Play alterné + (Antoine Leblanc)
- Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games + (Antoine Leblanc)
- Efficient algorithmic methods for Nash equilibria computation + (Antoine Leblanc)
- Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle + (Antoine Leblanc)
- Système de discriminants linéaires pour la vérification du locuteur + (Antoine Legrand)
- Generalized Linear Discriminant Sequence for Speaker Verification + (Antoine Legrand)
- Exploring various implementations for goroutines support in go2pins + (Antoine Martin)
- Comment implémenter le support des goroutines dans go2pins + (Antoine Martin)
- Go2Pins: A Framework for the LTL Verification of Go Programs + (Alexandre Kirszenberg)
- From Spot 2.0 to Spot 2.10: What's New? + (Alexandre Duret-Lutz)
- Go2Pins: A framework for the LTL verification of Go programs (Extended Version) + (Etienne Renault)
- People/Antoine Pietri + (Antoine Pietri)
- Suppression efficace de transitions spontanées dans Vcsn + (Antoine Pietri)
- Génération aléatoire d'automates et de chemins dans Vcsn + (Antoine Pietri)
- Random automata and path generation in Vcsn + (Antoine Pietri)
- Efficient removal of spontaneous transitions in Vcsn + (Antoine Pietri)
- Recherche de petits mots synchronisants + (Antoine Pietri)
- Finding Short Synchronizing Words + (Antoine Pietri)
- Modelling and Identifying Troll Farm Accounts on Twitter + (Antoine Sainson)
- Modélisation et Identification des Troll Farmers sur Twitter + (Antoine Sainson)