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
- On Making nD Images Well-Composed by a Self-Dual Local Interpolation + (On Making nD Images Well-Composed by a Self-Dual Local Interpolation)
- On Refinement of Büchi Automata for Explicit Model Checking + (On Refinement of Büchi Automata for Explicit Model Checking)
- On Robustness for the Skolem and Positivity Problems + (On Robustness for the Skolem and Positivity Problems)
- On Some Associations Between Mathematical Morphology and Artificial Intelligence + (On Some Associations Between Mathematical Morphology and Artificial Intelligence)
- On a Polynomial Vector Field Model for Shape Representation + (On a Polynomial Vector Field Model for Shape Representation)
- On coercion in Context-Oriented Programming + (On coercion in Context-Oriented Programming)
- On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson + (On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson)
- On the Usefulness of Clause Strengthening in Parallel SAT Solving + (On the Usefulness of Clause Strengthening in Parallel SAT Solving)
- On the security of quantum networks: a proposal framework and its capacity + (On the security of quantum networks: a proposal framework and its capacity)
- On-the-fly Emptiness Check of Transition-based Streett Automata + (On-the-fly Emptiness Check of Transition-based Streett Automata)
- One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures + (One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures)
- Optimisation d'une bibliothèque de traitement d'images + (Optimisation d'une bibliothèque de traitement d'images)
- Optimisation en Common Lisp et son application à Climb + (Optimisation en Common Lisp et son application à Climb)
- Optimisations dans le compilateur Tiger + (Optimisations dans le compilateur Tiger)
- Optimization in Common Lisp, and its application to Climb + (Optimization in Common Lisp, and its application to Climb)
- Optimization of an image processing library + (Optimization of an image processing library)
- Optimization of the Product Configuration System of Renault + (Optimization of the Product Configuration System of Renault)
- Optimizations in the Tiger Compiler + (Optimizations in the Tiger Compiler)
- Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes + (Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes)
- Outils pour la dématérialisation dans SCRIBO + (Outils pour la dématérialisation dans SCRIBO)
- PAIP 2019: Liver Cancer Segmentation Challenge + (PAIP 2019: Liver Cancer Segmentation Challenge)
- PaInleSS: a Framework for Parallel SAT Solving + (PaInleSS: a Framework for Parallel SAT Solving)
- Parallel Climb + (Parallel Climb)
- Parallel Computation of Component Trees on Distributed Memory Machines + (Parallel Computation of Component Trees on Distributed Memory Machines)
- Parallel Explicit Model Checking for Generalized Büchi Automata + (Parallel Explicit Model Checking for Generalized Büchi Automata)
- Parallel Learning Portfolio-Based Solvers + (Parallel Learning Portfolio-Based Solvers)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic + (Parallel Model Checking Algorithms for Linear-Time Temporal Logic)
- Parallel Satisfiability Solver Based on Hybrid Partitioning Method + (Parallel Satisfiability Solver Based on Hybrid Partitioning Method)
- Parallel approach for the computation of the tree of shapes on n-dimensional images + (Parallel approach for the computation of the tree of shapes on n-dimensional images)
- Parallelism and Indexation in Quickref + (Parallelism and Indexation in Quickref)
- Parallelization in a generic image processing library + (Parallelization in a generic image processing library)
- Parallelizing Quickref + (Parallelizing Quickref)
- Parallélisation dans une bibliothèque de traitement d'images générique + (Parallélisation dans une bibliothèque de traitement d'images générique)
- Parallélisation de Climb + (Parallélisation de Climb)
- Parallélisation et Indexation de Quickref + (Parallélisation et Indexation de Quickref)
- Parser d'expressions rationnelles + (Parser d'expressions rationnelles)
- Parsing with Transformers + (Parsing with Transformers)
- Parsing with Transformers + (Parsing with Transformers)
- Partial order reduction in SPOT + (Partial order reduction in SPOT)
- Partial order reduction methods for Spot + (Partial order reduction methods for Spot)
- Performance Comparison of Several Folding Strategies + (Performance Comparison of Several Folding Strategies)
- Periodic Area-of-Motion characterization for Bio-Medical applications + (Periodic Area-of-Motion characterization for Bio-Medical applications)
- Person authentication based on hand shape + (Person authentication based on hand shape)
- Resources for the DAS 2014 submission + (Planting, Growing and Pruning Trees: Connected Filters Applied to Document Image Analysis)
- Polar type inference with intersection types and ω + (Polar type inference with intersection types and ω)
- Polynomial Identification of omega-Language + (Polynomial Identification of omega-Language)
- Posets With Interfaces as a Model for Concurrency + (Posets With Interfaces as a Model for Concurrency)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (Practical Application of Probabilistic Model Checking to Communication Protocols)
- Practical Applications of the Alternating Cycle Decomposition + (Practical Applications of the Alternating Cycle Decomposition)
- Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient + (Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient)
- Practical Stutter-Invariance Checks for ω-Regular Languages + (Practical Stutter-Invariance Checks for ω-Regular Languages)