1080 search results - page 205 / 216 » Supporting human memory with interactive systems |
141
click to vote
SIGCSE
2005
ACM
15 years 7 months 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...
103
click to vote
MKM
2004
Springer
15 years 7 months 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...
122
click to vote
CVPR
2007
IEEE
16 years 3 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
15 years 7 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...
93
Voted
DSN
2005
IEEE
15 years 7 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...