Case-based problem-solving systems reason and learn from experiences, building up case libraries of problems and solutions to guide future reasoning. The expected bene ts of this l...
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
Webbases are database systems that enable creation of Web applications that allow end users to shop around for products and services at various Web sites without having to manually...
Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. ...
Abstract. Hybrid recommender systems are capable of providing better recommendations than non-hybrid ones. Our approach to hybrid recommenders is the use of prediction strategies t...
Mark van Setten, Mettina Veenstra, Anton Nijholt, ...
Lace is liable to stretch as it is passed through the feed mechanism, in which a vision system is engaged to detect the changes of the motif and find the cutting path (river) acro...
Nasser Sherkat, Chi-Hsien Victor Shih, Peter Thoma...