Sciweavers

1705 search results - page 98 / 341
» Introduction to recommender systems
Sort
View
98
Voted
JAR
2010
123views more  JAR 2010»
14 years 8 months ago
A Framework for Proof Systems
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
Vivek Nigam, Dale Miller
SIGOPS
1998
378views more  SIGOPS 1998»
14 years 9 months ago
Introducing Empirical Investigation in Undergraduate Operating Systems
Abstract: The undergraduate operating systems course can provide students with a valuable introduction to empirical testing and experimentation. This paper announces the availabili...
Steven Robbins
GLOBE
2011
Springer
13 years 9 months ago
Hybrid Approaches for Distributed Storage Systems
Abstract. Distributed or peer-to-peer storage solutions rely on the introduction of redundant data to be fault-tolerant and to achieve high reliability. One way to introduce redund...
Júlio Araújo, Frédéric...
UIC
2007
Springer
15 years 4 months ago
Ontology-Based Semantic Recommendation for Context-Aware E-Learning
Nowadays, e-learning systems are widely used for education and training in universities and companies because of their electronic course content access and virtual classroom partic...
Zhiwen Yu, Yuichi Nakamura, Seiie Jang, Shoji Kaji...
106
Voted
DEXA
2008
Springer
181views Database» more  DEXA 2008»
14 years 12 months ago
Query Recommendation Using Large-Scale Web Access Logs and Web Page Archive
Query recommendation suggests related queries for search engine users when they are not satisfied with the results of an initial input query, thus assisting users in improving sear...
Lin Li, Shingo Otsuka, Masaru Kitsuregawa