Property

Published has news

From LRDE

This is a property of type Boolean.

previous 202050100250500next 20
Showing 20 pages using this property.
P
Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC +
true  +
Probabilistic verification and approximation +
true  +
Program templates: expression templates applied to program evaluation +
true  +
Programmatic Manipulation of Common Lisp Type Specifiers +
true  +
Project EFIGI: Automatic classification of galaxies +
true  +
Proposal: an XML representation for automata +
true  +
Q
QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results +
true  +
Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN +
true  +
Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo +
true  +
R
Reactive Synthesis from LTL Specification with Spot +
true  +
Real-Time Document Detection in Smartphone Videos +
false  +
Real-Time Document Detection in Smartphone Videos +
true  +
Recognizing Heterogeneous Sequences by Rational Type Expression +
true  +
Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues +
true  +
Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes +
true  +
Report on the 5th Workshop ELW at ECOOP 2008 +
true  +
Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging +
true  +
Representing and Computing with Types in Dynamically Typed Languages +
true  +
Residual 3D U-Net with Localization for Brain Tumor Segmentation +
true  +
Resources for the DAS 2014 submission +
true  +
Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:Published_has_news&oldid=6034"