129 search results - page 13 / 26 » JeromeDL - a Semantic Digital Library |
JAR
2007
13 years 7 months ago
2007
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...
VRML
2009
ACM
14 years 2 months ago
2009
ACM
The documentation and presentation of 3D digital content is a critical but non-trivial task for the Cultural Heritage sector. Curators are often faced with the task of cataloguing...
ERCIMDL
2007
Springer
14 years 1 months ago
2007
Springer
Using keyword search to find relevant objects in digital libraries often results in way too large result sets. Based on the metadata associated with such objects, the faceted sear...
ACL
2009
13 years 5 months ago
2009
Automatic key phrase extraction is fundamental to the success of many recent digital library applications and semantic information retrieval techniques and a difficult and essenti...
DSS
2008
13 years 7 months ago
2008
The Web is a universal repository of human knowledge and culture which has allowed unprecedented sharing of ideas and information in a scale never seen before. It can also be cons...