Sciweavers

525 search results - page 14 / 105
» Automated Postediting of Documents
Sort
View
ICMCS
2006
IEEE
114views Multimedia» more  ICMCS 2006»
15 years 3 months ago
Computing a Multimedia Representation for Documents Given Time and Display Constraints
It is difficult to view multipage, high resolution documents on devices with small displays. As a solution, we introduce a Multimedia Thumbnail representation, which can be seen a...
Berna Erol, Kathrin Berkner, Siddharth Joshi, Jona...
DAS
2004
Springer
15 years 2 months ago
Tilting at Windmills: Adventures in Attempting to Reconstruct Don Quixote
Despite the current practice of re-keying most documents placed in digital libraries, we continue to try to improve accuracy of automated recognition techniques for obtaining docum...
A. Lawrence Spitz
TPHOL
1999
IEEE
15 years 1 months ago
Isar - A Generic Interpretative Approach to Readable Formal Proof Documents
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
Markus Wenzel
ECTEL
2006
Springer
15 years 1 months ago
A Document Reuse Tool for Communities of Practice
With the rise of the Internet, virtual communities of practice are gaining importance as a mean of sharing and exchanging information. In such environments, information reuse is of...
Aida Boukottaya, Bernadette Charlier, Christine Va...
DLOG
1998
14 years 10 months ago
Using Description Logics for Indexing Audiovisual Documents
Abstract We address the problem of indexing broadcast audiovisual documents (such as films, news). Starting from a collection of so-called shots, we aim at building automatically h...
Jean Carrive, François Pachet, Rémi ...