Sciweavers

204 search results - page 1 / 41
» XML Semantics and Digital Libraries
Sort
View
JCDL
2003
ACM
129views Education» more  JCDL 2003»
14 years 4 months ago
XML Semantics and Digital Libraries
The lack of a standard formalism for expressing the semantics of an XML vocabulary is a major obstacle to the development of high-function interoperable digital libraries. XML doc...
Allen Renear, David Dubin, C. M. Sperberg-McQueen,...
RIAO
2004
14 years 6 days ago
Integrating XLink and XPath to Retrieve Structured Multimedia Documents in Digital Libraries
To support the retrieval of multimedia data according to user information needs, multimedia information retrieval in digital libraries must be based on semantics and not just prim...
Zhigang Kong, Mounia Lalmas
JCDL
2003
ACM
128views Education» more  JCDL 2003»
14 years 4 months ago
Extracting Geometry from Digital Models in a Cultural Heritage Digital Library
This paper describes research to enhance the integration between digital models and the services provided by the document management systems of digital libraries. Processing techn...
Thomas L. Milbank
ADL
1998
Springer
184views Digital Library» more  ADL 1998»
14 years 3 months ago
Logical Information Modeling of Web-Accessible Heterogeneous Digital Assets
This paper introduces the MREF framework for representing and correlating information at a higher semantic level than is possible with Web-based information systems today. The rol...
Kshitij Shah, Amit P. Sheth
JAR
2007
85views more  JAR 2007»
13 years 10 months ago
User Interaction with the Matita Proof Assistant
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tas...