Has title
From LRDE
P
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 +
Posets With Interfaces as a Model for Concurrency +
Practical Application of Probabilistic Model Checking to Communication Protocols +
Practical Applications of the Alternating Cycle Decomposition +
Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient +
Practical Stutter-Invariance Checks for ω-Regular Languages +
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 abstraction for model checking: an approach based on property testing +
Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC +