Sciweavers

3070 search results - page 163 / 614
» Evaluating digital libraries
Sort
View
KDD
1998
ACM
159views Data Mining» more  KDD 1998»
15 years 8 months ago
A Robust System Architecture for Mining Semi-Structured Data
The value of extracting knowledge from semi-structured data is readily apparent with the explosion of the WWW and the advent of digital libraries. This paper proposes a versatile ...
Lisa Singh, Bin Chen, Rebecca Haight, Peter Scheue...
JAR
2007
85views more  JAR 2007»
15 years 4 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...
SEKE
2005
Springer
15 years 10 months ago
Javawock: A Java Class Recommender System Based on Collaborative Filtering
- Many software development platforms provide a large number of library components to make it easy to build high quality software. On the other hand, it became more and more diffic...
Masateru Tsunoda, Takeshi Kakimoto, Naoki Ohsugi, ...
ICPR
2006
IEEE
16 years 5 months ago
Texture Image Retrieval Using Novel Non-separable Filter Banks Based on Centrally Symmetric Matrices
Though millions of images are stored in a large digital image library today, the user can not access or make full use of these image information unless the digital image library i...
Patrick Shen-Pei Wang, Xinge You, Yuan Yan Tang, Y...
ERCIMDL
2009
Springer
167views Education» more  ERCIMDL 2009»
15 years 11 months ago
Conceptual Discovery of Educational Resources through Learning Objectives
This poster reports on current work with the NSF-funded Achievement Standards Network (ASN) to support discovery of educational resources in digital libraries using conceptual grap...
Stuart A. Sutton, Diny Golder