4573 search results - page 738 / 915 » Automated Reasoning |
139
Voted
ICCBR
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper describes an approach to product recommendation that combines in a novel way content- and collaborative-based filtering techniques. The system helps the user ...
122
click to vote
ICCBR
2003
Springer
15 years 8 months ago
2003
Springer
Case-Based Reasoning systems usually retrieve cases using a similarity function based on K-NN or some derivatives. These functions are sensitive to irrelevant or noisy features. We...
112
Voted
ICCBR
2003
Springer
15 years 8 months ago
2003
Springer
In real environments it is often difficult to obtain a collection of cases for the case base that would cover all the problem solving situations. Although it is often somewhat eas...
157
Voted
RTA
1995
Springer
15 years 7 months ago
1995
Springer
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...
132
Voted
SWAP
2007
15 years 4 months ago
2007
Abstract. Recent research showed the benefits of adopting formal ontologies as a means for accessing heterogeneous data sources. The use of an ontology not only provides a uniform...