1271 search results - page 158 / 255 » On Simulation-Checking with Sequential Systems |
91
Voted
EWMF
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Recommender systems suggest objects to users. One form recommends documents or other objects to users searching information on a web site. A recommender system can be use...
107
Voted
IFL
2003
Springer
15 years 5 months ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
88
Voted
CHI
2000
ACM
15 years 5 months ago
2000
ACM
In electronic commerce, a satisfying buyer experience is a key competitive element. We show new techniques for better adapting interaction with an electronic catalog system to act...
131
click to vote
PDPTA
1997
15 years 1 months ago
1997
Abstract In future, parallel and distributed computing paradigms will replace nowadays predominant sequential and centralized ones. Facing the challenge to support the construction...
102
Voted
MTA
2006
15 years 17 days ago
2006
While multimedia documents are sequentially presented to users, an information filtering (IF) system is useful to achieve a good retrieval performance in terms of both quality and ...