Sciweavers

3070 search results - page 270 / 614
» Evaluating digital libraries
Sort
View
WWW
2005
ACM
16 years 7 months ago
Signing individual fragments of an RDF graph
Being able to determine the provenience of statements is a fundamental step in any SW trust modeling. We propose a methodology that allows signing of small groups of RDF statement...
Giovanni Tummarello, Christian Morbidoni, Paolo Pu...
WWW
2001
ACM
16 years 7 months ago
An intelligent distributed environment for active learning
Active learning is an e ective learning approach. In this paper, we present an intelligent agent assisted environment for active learning. The system is to better support studentc...
Yi Shang, Hongchi Shi, Su-Shing Chen
ICFP
2003
ACM
16 years 6 months ago
Representing reductions of NP-complete problems in logical frameworks: a case study
Under the widely believed conjecture P=NP, NP-complete problems cannot be solved exactly using efficient polynomial time algorithms. Furthermore, any instance of a NP-complete pro...
Carsten Schürmann, Jatin Shah
LAWEB
2009
IEEE
16 years 1 months ago
Conceptual Metaphors for Designing Multi-cultural Applications
—This paper proposes a set of conceptual metaphors for the design of multi-cultural systems. The work is part of a long-term study to adapt the International Children's Digi...
Luciana Cardoso de Castro Salgado, Clarisse Siecke...
ERCIMDL
2009
Springer
117views Education» more  ERCIMDL 2009»
16 years 1 months ago
Improving OCR Accuracy for Classical Critical Editions
This paper describes a work-flow designed to populate a digital library of ancient Greek critical editions with highly accurate OCR scanned text. While the most recently available...
Federico Boschetti, Matteo Romanello, Alison Babeu...