1080 search results - page 205 / 216 » Supporting human memory with interactive systems |
SIGCSE
2005
ACM
14 years 29 days ago
2005
ACM
The University of Washington’s Classroom Presenter lecturing system enables an active lecturing environment by combining a standard electronic slide presentation format with the...
MKM
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For e...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
This paper presents our progress on OpenVL - a novel software architecture to address efficiency through facilitating hardware acceleration, reusability and scalability for comput...
VRST
2006
ACM
14 years 1 months ago
2006
ACM
This paper presents evidence that situational awareness in a visualization of data benefits from immersive, virtual reality display technology because such displays appear to supp...
DSN
2005
IEEE
14 years 1 months ago
2005
IEEE
User interfaces form a critical coupling between humans and computers. When the interface fails, the user fails, and the mission is lost. For example, in computer security applica...