A Logical Reconstruction of SPKI.

Joseph Y. Halpern Ron van der Meyden

Published in: CSFW (2001)

Keyphrases

image reconstruction
high resolution
compressed sensing
reconstruction process
data sets
artificial intelligence
search engine
image processing
decision trees
motion estimation
reconstruction method
compressive sensing
discrete tomography
scan data
logical reasoning
logical operations