13183 search results - page 70 / 2637 » Paper or interactive |
105
Voted
JAR
2007
15 years 2 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
117
click to vote
HCI
2009
15 years 10 days ago
2009
This paper presents a new kind of interaction between users and a tabletop. The table described is interactive and associated with tangible and traceable objects using RFID technol...
112
Voted
WSC
2000
15 years 3 months ago
2000
Web-based study resources can be viewed as a basic requirement in order to remain a competitive player on a more and more globalised educational market. For that reason it is gett...
ICESS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The interactive digital multimedia broadcasting stands for a convergence application between digital multimedia broadcasting service and wireless internet service. It dev...
202
click to vote
SI3D
1992
ACM
15 years 6 months ago
1992
ACM
Direct volume rendering is a computationally intensive operation that has become a valued and often preferred visualization tool. For maximal data comprehension, interactive manip...