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
- 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)
- Quotient of weighted automata and rational series + (Quotient of weighted automata and rational series)
- Quotients d'automates pondérés et de séries rationnelles + (Quotients d'automates pondérés et de séries rationnelles)
- Random automata and path generation in Vcsn + (Random automata and path generation in Vcsn)
- Random rational expression generation + (Random rational expression generation)
- Rational Expression Parser + (Rational Expression Parser)
- Reactive Synthesis from LTL Specification with Spot + (Reactive Synthesis from LTL Specification with Spot)
- Real Time Face Expression Recognition + (Real Time Face Expression Recognition)
- Real-Time Document Detection in Smartphone Videos + (Real-Time Document Detection in Smartphone Videos)
- Real-Time Document Detection in Smartphone Videos + (Real-Time Document Detection in Smartphone Videos)
- Recalage d'images rapide + (Recalage d'images rapide)
- Recherche de chemin acceptant bi-bande dans Spot + (Recherche de chemin acceptant bi-bande dans Spot)
- Recherche de petits mots synchronisants + (Recherche de petits mots synchronisants)
- Recherches de contrexemple dans Spot + (Recherches de contrexemple dans Spot)
- Recognizing Heterogeneous Sequences by Rational Type Expression + (Recognizing Heterogeneous Sequences by Rational Type Expression)
- Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues + (Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues)
- Reconstruction d'image + (Reconstruction d'image)
- Reduce the resource consumption of a complex image processing chain + (Reduce the resource consumption of a complex image processing chain)
- Reduction d'automates + (Reduction d'automates)
- Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes + (Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes)
- Regression benchmarking + (Regression benchmarking)
- Regression benchmarking + (Regression benchmarking)
- Reimplementation of testing-automata in Spot + (Reimplementation of testing-automata in Spot)
- Remedial treatment for Vaucanson: an enhanced automaton concept + (Remedial treatment for Vaucanson: an enhanced automaton concept)
- Report on the 5th Workshop ELW at ECOOP 2008 + (Report on the 5th Workshop ELW at ECOOP 2008)
- Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging + (Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging)
- Representing and Computing with Types in Dynamically Typed Languages + (Representing and Computing with Types in Dynamically Typed Languages)