740 search results - page 25 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
ISRR
2001
Springer
14 years 27 days ago
2001
Springer
This paper presents our experience towards the conception of a virtual reality medical simulator coupled with haptic interaction aimed at training surgeons. This area of research h...
SIGCSE
2006
ACM
14 years 2 months ago
2006
ACM
This paper describes our experiences in promoting a learning environment where active student involvement and interaction, as well as openness to diversity of ideas are supported ...
ICDCS
2008
IEEE
14 years 2 months ago
2008
IEEE
Context-awareness allows pervasive applications to adapt to changeable computing environments. Contexts, the pieces of information that capture the characteristics of environments...
ICALT
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper describes the implementation of blog system in an international distance course between Japan and Taiwan. In the study, blog was used as a tool to encourage students’...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
Level of Web experience is often a factor for which researchers attempt to control while conducting experimental studies on Web usability. It is typically measured by some means o...