Has title
From LRDE
P
Parallel Learning Portfolio-Based Solvers +
Parallel Model Checking Algorithms for Linear-Time Temporal Logic +
Parallel Satisfiability Solver Based on Hybrid Partitioning Method +
Parallel approach for the computation of the tree of shapes on n-dimensional images +
Parallelism and Indexation in Quickref +
Parallelization in a generic image processing library +
Parallelizing Quickref +
Parallélisation dans une bibliothèque de traitement d'images générique +
Parallélisation de Climb +
Parallélisation et Indexation de Quickref +
Parser d'expressions rationnelles +
Parsing with Transformers +
Parsing with Transformers +
Partial order reduction in SPOT +
Partial order reduction methods for Spot +
Performance Comparison of Several Folding Strategies +
Periodic Area-of-Motion characterization for Bio-Medical applications +
Person authentication based on hand shape +
Polar type inference with intersection types and ω +
Polynomial Identification of omega-Language +