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

• Single-pass Testing Automata for LTL Model Checking  + (17:19:33, 5 January 2018)
• Exact optimization of discrete constrained total variation minimization problems  + (17:19:53, 5 January 2018)
• Exact optimization of discrete constrained total variation minimization problems  + (17:19:54, 5 January 2018)
• A Fast and Exact Algorithm for Total Variation Minimization  + (17:19:55, 5 January 2018)
• Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter  + (17:19:57, 5 January 2018)
• A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization  + (17:19:58, 5 January 2018)
• A fast and exact algorithm for total variation minimization  + (17:19:59, 5 January 2018)
• A Note on the Discrete Binary Mumford-Shah Model  + (17:20:04, 5 January 2018)
• Kernel Combination for SVM Speaker Verification  + (17:20:07, 5 January 2018)
• Derived-Term Automata of Multitape Rational Expressions  + (17:20:14, 5 January 2018)
• Probabilistic abstraction for model checking: an approach based on property testing  + (17:20:37, 5 January 2018)
• Minimization of automata representing obligation formulae  + (16:02:57, 9 January 2018)
• Minimisation d'automates représentant des obligations  + (16:02:58, 9 January 2018)
• Optimizations in the Tiger Compiler  + (16:02:59, 9 January 2018)
• Optimisations dans le compilateur Tiger  + (16:03:00, 9 January 2018)
• Parallelization in a generic image processing library  + (16:03:01, 9 January 2018)
• Parallélisation dans une bibliothèque de traitement d'images générique  + (16:03:02, 9 January 2018)
• ConceptC++ study and possible integration in SCOOP  + (16:03:03, 9 January 2018)
• Topological Watershed  + (16:03:04, 9 January 2018)
• Etude de ConceptC++ et possible intégration dans SCOOP  + (16:03:04, 9 January 2018)
• Ligne de partage des eaux topologique  + (16:03:05, 9 January 2018)
• Morphology on color images  + (16:03:06, 9 January 2018)
• Morphologie sur images couleur  + (16:03:07, 9 January 2018)
• Transformers: a C++ program transformation framework  + (16:03:08, 9 January 2018)
• Transformers: a C++ program transformation framework  + (16:03:08, 9 January 2018)

• Bisimulation-based Reductions on TGBA  + (16:03:09, 9 January 2018)

• Réduction basées sur la bisimulation appliquées aux TGBA  + (16:03:10, 9 January 2018)
• Direct-Simulation Reduction for TGBA  + (16:03:10, 9 January 2018)
• Réduction par simulation directe pour les TGBA  + (16:03:11, 9 January 2018)
• Simulation-based Reductions for TGBA  + (16:03:12, 9 January 2018)
• Software engineering in Olena Core  + (16:03:13, 9 January 2018)
• Réduction par simulation pour les TGBA  + (16:03:13, 9 January 2018)
• Software engineering in Olena Core  + (16:03:14, 9 January 2018)
• Image taxonomy in Milena  + (16:03:15, 9 January 2018)
• Taxonomie des images de Milena  + (16:03:15, 9 January 2018)
• Properties in Milena  + (16:03:16, 9 January 2018)
• Les propriétés dans Milena  + (16:03:17, 9 January 2018)
• De nouvelles fac cons d'utiliser l'interface Jupyter.  + (16:03:18, 9 January 2018)
• New ways to use the Vcsn's Jupyter interface.  + (16:03:18, 9 January 2018)
• Using the Mumford-Shah segmentation for Text Detection in images  + (16:03:19, 9 January 2018)
• Utilisation de la segmentation de Mumford-Shah pour la détection du texte dans les images  + (16:03:20, 9 January 2018)
• Using connected operators to manipulate image components  + (16:03:20, 9 January 2018)
• Using connected operators to manipulate image components  + (16:03:21, 9 January 2018)
• Image taxonomy in Olena  + (16:03:22, 9 January 2018)
• Image taxonomy in Olena  + (16:03:23, 9 January 2018)
• Traitement d'images de cartes anciennes pour la détection de parcelles  + (16:03:24, 9 January 2018)
• Image processing for plots detection from ancient maps  + (16:03:24, 9 January 2018)
• Automatic segmentation of Cassini's maps  + (16:03:25, 9 January 2018)
• Découpage automatique des cartes de Cassini  + (16:03:26, 9 January 2018)
• Automatic detection of text zones on identity documents.  + (16:03:27, 9 January 2018)
• Détection automatique de zones de textes sur des pièces d'identité  + (16:03:28, 9 January 2018)