Property

Published has news

From LRDE

This is a property of type Boolean.

previous 202050100250500next 20
Showing 20 pages using this property.
P
PAIP 2019: Liver Cancer Segmentation Challenge +
true  +
PaInleSS: a Framework for Parallel SAT Solving +
true  +
Parallel Computation of Component Trees on Distributed Memory Machines +
true  +
Parallel Explicit Model Checking for Generalized Büchi Automata +
true  +
Parallel Learning Portfolio-Based Solvers +
true  +
Parallel Model Checking Algorithms for Linear-Time Temporal Logic +
true  +
Parallel Satisfiability Solver Based on Hybrid Partitioning Method +
true  +
Parallelizing Quickref +
true  +
Performance Comparison of Several Folding Strategies +
false  +
Periodic Area-of-Motion characterization for Bio-Medical applications +
true  +
Person authentication based on hand shape +
true  +
Polar type inference with intersection types and ω +
true  +
Posets With Interfaces as a Model for Concurrency +
true  +
Practical Application of Probabilistic Model Checking to Communication Protocols +
true  +
Practical Applications of the Alternating Cycle Decomposition +
true  +
Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient +
true  +
Practical Stutter-Invariance Checks for ω-Regular Languages +
true  +
Practical “Paritizing” of Emerson–Lei Automata +
true  +
Probabilistic Verification of Sensor Networks +
true  +
Probabilistic abstraction for model checking: an approach based on property testing +
true  +
Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:Published_has_news&oldid=6034"