1511 search results - page 269 / 303 » Relational Parametricity for Computational Effects |
229
click to vote
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
Basic message processing tasks, such as wellformedness checking and grammar validation, can be off-loaded from the service providers' own infrastructures. To enable effective...
140
click to vote
KDD
2001
ACM
16 years 4 months ago
2001
ACM
Given a dataset, each element of which labeled by one of k labels, we construct by a very fast algorithm, a k-category proximal support vector machine (PSVM) classifier. Proximal s...
150
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
In this paper, we investigate how the choice of media for capture and access affects the diary study method. The diary study is a method of understanding participant behavior and ...
118
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
In this submission for the CHI05 Development forum, I reflect on my experience leading the Experience Design community of interest of the American Institute of Graphic Arts and su...
136
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
The effectiveness of virtual environments (VEs) has often been linked to the sense of presence reported by users of those VEs. (Presence is defined as the subjective experience of...