Formally verified bundling and appraisal of evidence for layered attestations.

Adam Petz Perry Alexander

Published in: Innov. Syst. Softw. Eng. (2023)

Keyphrases

empirical evidence
real estate
machine learning
evidential reasoning
computational models
information retrieval
computer vision
multiscale
multiresolution
mobile robot