2869 search results - page 550 / 574 » The Inference Problem: A Survey |
EWMF
2003
Springer
15 years 3 months ago
2003
Springer
Item-based Collaborative Filtering (CF) algorithms have been designed to deal with the scalability problems associated with traditional user-based CF approaches without sacrificin...
104
click to vote
WEBDB
2010
Springer
15 years 2 months ago
2010
Springer
An important requirement for emerging applications which aim to locate and integrate content distributed over the Web is to identify pages that are relevant for a given domain or ...
ICPPW
2002
IEEE
15 years 2 months ago
2002
IEEE
generally meta-data, so that documents on any specific subject can be transparently retrieved. While quality control can in principle still rely on the traditional methods of peer-...
LICS
2002
IEEE
15 years 2 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
ISIPTA
1999
IEEE
15 years 2 months ago
1999
IEEE
The purpose of this note is to describe the underlying insights and results obtained by the authors, and others, in a series of papers aimed at modelling the distribution of `natu...