Sciweavers

358 search results - page 41 / 72
» Curriculum development for digital libraries
Sort
View
ADL
2000
Springer
252views Digital Library» more  ADL 2000»
14 years 2 months ago
Audio Structuring and Personalized Retrieval Using Ontologies
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...
Latifur Khan, Dennis McLeod
APLAS
2010
ACM
13 years 10 months ago
Typechecking Higher-Order Security Libraries
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...
Karthikeyan Bhargavan, Cédric Fournet, Nata...
DGO
2007
174views Education» more  DGO 2007»
13 years 11 months ago
New techniques for ensuring the long term integrity of digital archives
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 ...
Sangchul Song, Joseph JáJá
ISMIR
2005
Springer
166views Music» more  ISMIR 2005»
14 years 3 months ago
Challenges in Cross-Cultural/Multilingual Music Information Seeking
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
ERCIMDL
2003
Springer
78views Education» more  ERCIMDL 2003»
14 years 3 months ago
Document-Centered Collaboration for Scholars in the Humanities - The COLLATE System
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...
Ingo Frommholz, Holger Brocks, Ulrich Thiel, Erich...