3070 search results - page 349 / 614 » Evaluating digital libraries |
153
click to vote
AAAI
1997
15 years 8 months ago
1997
Our goal is to build knowledge acquisition tools that support users in modifying knowledge-based systems. These modi cations may require several individual changes to various comp...
142
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
161
Voted
JIS
2008
15 years 6 months ago
2008
In this article, theories of human judgement and decision making are reviewed and their use by library and information science researchers examined. A different perspective on jud...
173
click to vote
IIE
2007
15 years 6 months ago
2007
Motivating students of the Nintendo generation for Computer Science can only be achieved by providing them with an exiting and fresh CS1 course. The article describes the experienc...
177
click to vote
TSP
2008
15 years 6 months ago
2008
This paper proposes a hierarchical Bayesian model that can be used for semi-supervised hyperspectral image unmixing. The model assumes that the pixel reflectances result from linea...