Sciweavers

3260 search results - page 613 / 652
» MYSEA Technology Demonstration
Sort
View
CHI
2003
ACM
16 years 6 days ago
Post-cognitivist HCI: second-wave theories
Historically, the dominant paradigm in HCI, when it appeared as a field in early 80s, was information processing ("cognitivist") psychology. In recent decades, as the fo...
Bonnie A. Nardi, Edwin Hutchins, James D. Hollan, ...
CHI
2002
ACM
16 years 6 days ago
Video browsing interfaces for the open video project
The Open Video Project is an on-going effort to develop an open source digital video collection that can be used by the research community and ultimately serve an even broader aud...
Gary Geisler, Gary Marchionini, Barbara M. Wildemu...
POPL
2008
ACM
16 years 4 days ago
Engineering formal metatheory
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
Arthur Charguéraud, Benjamin C. Pierce, Bri...
VLDB
2008
ACM
170views Database» more  VLDB 2008»
16 years 1 days ago
A multi-ranker model for adaptive XML searching
The evolution of computing technology suggests that it has become more feasible to offer access to Web information in a ubiquitous way, through various kinds of interaction device...
Ho Lam Lau, Wilfred Ng
SIGMOD
2007
ACM
197views Database» more  SIGMOD 2007»
15 years 12 months ago
Automated and on-demand provisioning of virtual machines for database applications
Utility computing delivers compute and storage resources to applications as an `on-demand utility', much like electricity, from a distributed collection of computing resource...
Piyush Shivam, Azbayar Demberel, Pradeep Gunda, Da...