Sciweavers

125 search results - page 15 / 25
» Annotations: Enriching a Digital Library
Sort
View
ERCIMDL
2001
Springer
178views Education» more  ERCIMDL 2001»
13 years 11 months ago
Customizable Retrieval Functions Based on User Tasks in the Cultural Heritage Domain
The cultural heritage domain dealing with digital surrogates of rare and fragile historic artifacts is one of the most promising areas for establishing collaboratories, i.e. shared...
Holger Brocks, Ulrich Thiel, Adelheit Stein, Andre...
JCDL
2010
ACM
154views Education» more  JCDL 2010»
13 years 11 months ago
Transferring structural markup across translations using multilingual alignment and projection
We present here a method for automatically projecting structural information across translations, including canonical citation structure (such as chapters and sections), speaker i...
David Bamman, Alison Babeu, Gregory Crane
JCDL
2011
ACM
226views Education» more  JCDL 2011»
12 years 9 months ago
Measuring historical word sense variation
We describe here a method for automatically identifying word sense variation in a dated collection of historical books in a large digital library. By leveraging a small set of kno...
David Bamman, Gregory Crane
APLAS
2010
ACM
13 years 7 months ago
Typechecking Higher-Order Security Libraries
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Karthikeyan Bhargavan, Cédric Fournet, Nata...
CSCW
2008
ACM
13 years 6 months ago
Physical and Digital Artifact-Mediated Coordination in Building Design
We conducted an ethnographic field study examining how a building design team used representational artifacts to coordinate the design of building systems, structure, and architect...
Melanie Tory, Sheryl Staub-French, Barry A. Po, Fu...