2795 search results - page 244 / 559 » On recommending |
158
click to vote
DAC
2003
ACM
15 years 12 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
171
click to vote
ERLANG
2003
ACM
15 years 12 months ago
2003
ACM
We present a user-oriented description of features and characteristics of the High Performance Erlang (HiPE) native code compiler, which nowadays is part of Erlang/OTP. In particu...
175
click to vote
IRAL
2003
ACM
15 years 11 months ago
2003
ACM
In this work, we apply a clustering technique to integrate the contents of items into the item-based collaborative filtering framework. The group rating information that is obtain...
182
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
This paper outlines the methodology and results of the EBONI Project’s evaluation of portable electronic books, in which staff from UK academia were provided with a selection of...
258
click to vote
AMKM
2003
Springer
15 years 11 months ago
2003
Springer
: Knowledge Management is most necessary and valuable in a collaborative and distributed environment. A problem with commercial knowledge management tools is that they do not unde...