Sciweavers

525 search results - page 14 / 105
» Automated Postediting of Documents
Sort
View
88
Voted
ICMCS
2006
IEEE
114views Multimedia» more  ICMCS 2006»
15 years 7 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 7 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 6 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 5 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
15 years 3 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 ...