535 search results - page 65 / 107 » Do we need dependent types |
SIGIR
2008
ACM
13 years 7 months ago
2008
ACM
We examine the effect of incorporating gaze-based attention feedback from the user on personalizing the search process. Employing eye tracking data, we keep track of document part...
CHI
2003
ACM
14 years 8 months ago
2003
ACM
A new software tool for user-interface development and assessment of ubiquitous computing applications is available for CHI researchers. The software permits researchers to use co...
HICSS
2003
IEEE
14 years 29 days ago
2003
IEEE
This paper builds on ideas in a recent paper which argued that the core subject matter of the IS field should not be “the IT artifact” (as suggested by Orlikowski and Iacono [...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
The vision of the Semantic Web can only be realized through proliferation of well-known ontologies describing different domains. To enable interoperability in the Semantic Web, it...
PDCAT
2007
Springer
14 years 1 months ago
2007
Springer
Any simulation-based evaluation of an interconnection network proposal requires a good characterization of the workload. Synthetic traffic patterns based on independent traffic so...