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
- 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)
- Practical “Paritizing” of Emerson–Lei Automata + (Practical “Paritizing” of Emerson–Lei Automata)
- Prise de décision à l'aide de SVM dans le contexte des systèmes de vérification du loctueur à base d'I-Vector + (Prise de décision à l'aide de SVM dans le contexte des systèmes de vérification du loctueur à base d'I-Vector)
- Probabilistic Verification of Sensor Networks + (Probabilistic Verification of Sensor Networks)
- Probabilistic abstraction for model checking: an approach based on property testing + (Probabilistic abstraction for model checking: an approach based on property testing)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC + (Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC)
- Probabilistic verification and approximation + (Probabilistic verification and approximation)
- Product of Parity Automata + (Product of Parity Automata)
- Produit d'automates à parité + (Produit d'automates à parité)
- Program templates: expression templates applied to program evaluation + (Program templates: expression templates applied to program evaluation)
- Programmatic Manipulation of Common Lisp Type Specifiers + (Programmatic Manipulation of Common Lisp Type Specifiers)
- Progress in C++ source preprocessing + (Progress in C++ source preprocessing)
- Progress in C++ source preprocessing + (Progress in C++ source preprocessing)
- Progresses towards Vaucanson 1.4 and 2.0 + (Progresses towards Vaucanson 1.4 and 2.0)
- Project EFIGI: Automatic classification of galaxies + (Project EFIGI: Automatic classification of galaxies)
- Projection non-linéaire pour l'attribution de score selon la distance en cosinus dans le contexte des systèmes de vérification du locuteur à base d'i-vectors. + (Projection non-linéaire pour l'attribution de score selon la distance en cosinus dans le contexte des systèmes de vérification du locuteur à base d'i-vectors.)
- Properties in Milena + (Properties in Milena)
- Property based class hierarchy of Vaucanson's Algebra module + (Property based class hierarchy of Vaucanson's Algebra module)
- Property based dispatch in functional languages + (Property based dispatch in functional languages)
- Property-Based Genericity: A Dynamic Approach + (Property-Based Genericity: A Dynamic Approach)
- Proposal: an XML representation for automata + (Proposal: an XML representation for automata)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results)
- Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN + (Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN)
- Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo + (Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo)