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

• Error correcting code performance for watermark protection  + (14:20:35, 5 January 2018)
• Generic implementation of morphological image operators  + (14:20:36, 5 January 2018)
• Approximate Probabilistic Model Checking for Programs  + (14:20:44, 5 January 2018)
• Semantics driven disambiguation: A comparison of different approaches  + (14:20:56, 5 January 2018)
• Olena: a component-based platform for image processingmixing generic, generative and OO programming  + (14:21:03, 5 January 2018)
• Urbi et Orbi: unusual design and implementation choices for distributed virtual environments  + (14:21:09, 5 January 2018)
• Obtaining genericity for image processing and pattern recognition algorithms  + (14:21:13, 5 January 2018)
• Fast color image segmentation based on levellings in feature Space  + (14:21:17, 5 January 2018)
• Algorithms for Mathematical Morphology  + (14:21:19, 5 January 2018)
• A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images  + (14:21:21, 5 January 2018)
• libDMC: a library to Operate Efficient Distributed Model Checking  + (14:21:25, 5 January 2018)
• Hierarchical Set Decision Diagrams and Automatic Saturation  + (14:21:26, 5 January 2018)
• Unified texture management for arbitrary meshes  + (14:21:33, 5 January 2018)
• Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images  + (14:21:35, 5 January 2018)
• Discrete set-valued continuity and interpolation  + (14:21:41, 5 January 2018)
• Action recognition: how intelligent virtual environments can ease human-machine interaction  + (14:21:52, 5 January 2018)
• Virtual reality and tele-operation: a common framework  + (14:21:53, 5 January 2018)
• Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity  + (14:21:59, 5 January 2018)
• Generalized Büchi Automata versus Testing Automata for Model Checking  + (17:19:29, 5 January 2018)
• 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)