Sciweavers

1251 search results - page 167 / 251
» Digital trail libraries
Sort
View
WWW
2005
ACM
16 years 5 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...
139
Voted
WWW
2001
ACM
16 years 5 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 4 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
15 years 11 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»
15 years 11 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...