740 search results - page 35 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
PERVASIVE
2008
Springer
13 years 8 months ago
2008
Springer
Networked devices for the storage and rendering of digital media are rapidly becoming ubiquitous in homes throughout the industrialized world. Existing approaches to home media con...
CE
2007
13 years 8 months ago
2007
Increased flexibility and modularisation in higher education complicates the process of learners finding their way through the offerings of higher education institutions. In lifel...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
This paper proposes PhotoChat, a system that facilitates communication among users who want to share experiences by enabling them to share photos and notes. PhotoChat is designed ...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
Increasing functionality, growing media volumes and dynamic data in today's in-vehicle information systems bear new challenges for user interaction design. Traditional hierar...
C5
2007
IEEE
13 years 8 months ago
2007
IEEE
Interactive geometry environments support the creation and exploitation of interactive geometric sketches. However, such environments are often driven in a rigid manner, following...