The goal of this work is to improve the accuracy (precision and recall) and communication effectiveness of a database system response to a user information request, by utilizing a...
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
A large portion of the government, business, cultural, and scientific digital data being created today needs to be archived and preserved for future use of periods ranging from a ...
Understanding and meeting the needs of a broad range of music users across different cultures and languages are central in designing a global music digital library. This explorato...
Jin Ha Lee, J. Stephen Downie, Sally Jo Cunningham
Abstract. In contrast to electronic document collections we find in contemporary digital libraries, systems applied in a cultural domain have to satisfy specific requirements wit...