Formal foundations for systematic digital library generation.

Jonathan Leidig Edward A. Fox

Published in: JCDL (2013)

Keyphrases

digital libraries
sci tech
cultural heritage
metadata
information access
formal specification
generation algorithm
digital library systems
multiscale
data mining
information retrieval systems
formal model
database
formal methods
resource discovery
digital documents
data sets