Sciweavers

1236 search results - page 162 / 248
» Digital Library
Sort
View
ICFP
2003
ACM
15 years 12 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 6 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 6 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...
HT
2009
ACM
15 years 6 months ago
How are web characteristics evolving?
The Web is a hypertextual environment in permanent evolution. There are new technologies and Web publishing behaviors emerging everyday. This study presents trends on the evolutio...
João Miranda, Daniel Gomes
JCDL
2009
ACM
166views Education» more  JCDL 2009»
15 years 6 months ago
Designing the reading experience for scanned multi-lingual picture books on mobile phones
This paper reports on an adaption of the existing PopoutText and ClearText display techniques to mobile phones. It explains the design rationale for a freely available iPhone appl...
Benjamin B. Bederson, Alexander J. Quinn, Allison ...