A Logical Reconstruction of SPKI.
Joseph Y. HalpernRon van der MeydenPublished in: J. Comput. Secur. (2003)
Keyphrases
- three dimensional
- image reconstruction
- discrete tomography
- reconstruction process
- high resolution
- databases
- logical properties
- shape recovery
- multi view
- tomographic images
- logical reasoning
- scan data
- least squares
- evolutionary algorithm
- video sequences
- data structure
- similarity measure
- image segmentation
- case study
- knowledge base
- information retrieval
- neural network