933 search results - page 119 / 187 » Sharing User Models for Adaptive Hypermedia Applications |
158
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
145
click to vote
DBKDA
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—Design applications, e.g., CAD or media production, often require multiple users to work cooperatively on shared data, e.g., XML documents. Using explicit transactions i...
140
click to vote
IIR
2010
15 years 6 months ago
2010
Recommender systems are widely used in E-Commerce for making automatic suggestions of new items that could meet the interest of a given user. Collaborative Filtering approaches co...
175
click to vote
CCGRID
2008
IEEE
15 years 6 months ago
2008
IEEE
Production grids are complex and highly variable systems whose behavior is not well understood and difficult to anticipate. The goal of this study is to estimate the impact of the ...
156
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents an interaction model adapted to mixed reality environments known as IRVO (Interacting with Real and Virtual Objects). IRVO aims at modeling the interaction bet...