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

• Property-Based Genericity: A Dynamic Approach  + (1003)
• La généricité par propriétés  + (1003)
• Minimization of automata representing obligation formulae  + (1004)
• Minimisation d'automates représentant des obligations  + (1004)
• An edge-based attribute filter dedicated to image segmentation  + (1005)
• Filtrage à base de contours pour la segmentation d'images  + (1005)
• Document layout analysis in SCRIBO  + (1102)
• Analyse de la mise en page d'un document dans SCRIBO  + (1102)
• Optimizations in the Tiger Compiler  + (1103)
• Optimisations dans le compilateur Tiger  + (1103)
• Bisimulation-based Reductions on TGBA  + (1104)
• Réduction basées sur la bisimulation appliquées aux TGBA  + (1104)
• Climb: Weighted Neighborhood Implementation  + (1106)
• Climb: Implémentation de voisinage pondérés  + (1106)
• Implementing rational semiring  + (1107)
• Implémentation du corps des (nombres) rationnels  + (1107)
• Component Trees and Chaining Operators in Climb  + (1108)
• Arbres de composantes et opérateurs de chaînage  + (1108)
• Scribo: Disambiguation of lines superimposement  + (1110)
• Désambiguïsation de la superposition de lignes.  + (1110)
• Improving degeneralization in Spot  + (1111)
• Amélioration de la dégénéralisation dans Spot  + (1111)
• Progresses towards Vaucanson 1.4 and 2.0  + (1113)
• Avancées vers Vaucanson 1.4 et 2.0  + (1113)
• Inverse Video extraction in Scribo  + (1114)
• Extraction de l'inverse video dans SCRIBO.  + (1114)

• A comparative study of image invariants for text / non-text classification  + (1115)
• Etude comparative d'invariants de forme pour la classification texte / non-texte  + (1115)

• Property based dispatch in functional languages  + (1116)
• Dispatch par propriétés dans les langages fonctionnels  + (1116)
• Parallelization in a generic image processing library  + (1117)
• Parallélisation dans une bibliothèque de traitement d'images générique  + (1117)
• Towards Vaucanson 2.0  + (1201)
• Vers Vaucanson 2.0  + (1201)
• FSMXML for Vaucanson 2.0  + (1201)
• FSMXML pour Vaucanson 2.0  + (1201)
• Improving Horn-Schunck  + (1202)
• Améliorer Horn-Schunck  + (1202)
• Direct-Simulation Reduction for TGBA  + (1203)
• Réduction par simulation directe pour les TGBA  + (1203)
• Fast structure preserving inpainting  + (1204)
• Inpainting rapide préservant la structure  + (1204)
• Partial order reduction methods for Spot  + (1205)
• Méthodes de réduction par ordre partiel dans Spot  + (1205)
• Parallel approach for the computation of the tree of shapes on n-dimensional images  + (1207)
• Approche parallèle pour le calcul de l'arbre des formes en n-dimensions  + (1207)
• Text extraction method based on wavelets  + (1208)
• Extraction de texte avec des ondelettes  + (1208)
• Full Covariance Matrices based Gaussian Mixture Models  + (1209)
• Modèles de mélanges de gaussiennes fondés sur des matrices de covariance pleines  + (1209)
• Building an interface for and with Climb  + (1210)
• Construction d'une interface pour et avec Climb  + (1210)