740 search results - page 66 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
107
click to vote
CSCWD
2008
Springer
15 years 3 months ago
2008
Springer
This paper discusses the key collaborative features of scientific visualization systems. An experiment with several groups of users has been conducted to evaluate the usability an...
CHI
2006
ACM
16 years 1 months ago
2006
ACM
The paper presents our approach for human-machine interaction with an anthropomorphic mechanical percussionist that can listen to live players, analyze perceptual musical aspects ...
113
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Effective norms, emerging from sustained individual interactions over time, can complement societal rules and significantly enhance performance of individual agents and agent soci...
CHI
2010
ACM
15 years 8 months ago
2010
ACM
We introduce LensMouse, a novel device that embeds a touch-screen display – or tangible ‘lens’ – onto a mouse. Users interact with the display of the mouse using direct to...
MIDDLEWARE
2007
Springer
15 years 7 months ago
2007
Springer
Snowbird is a middleware system based on virtual machine (VM) technology that simplifies the development and deployment of bimodal applications. Such applications alternate betwee...