Sciweavers

1281 search results - page 105 / 257
» Interactive artistic rendering
Sort
View
JAR
2007
85views more  JAR 2007»
13 years 10 months ago
User Interaction with the Matita Proof Assistant
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...
Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tas...
IROS
2009
IEEE
126views Robotics» more  IROS 2009»
14 years 5 months ago
Stability of haptic obstacle avoidance and force interaction
— Stability problems associated with haptics and robot control with obstacle avoidance are analyzed. Obstacle avoidance algorithms are revised to accomplish stable redesign using...
Rolf Johansson, Magnus Annerstedt, Anders Robertss...
ICDCSW
2005
IEEE
14 years 4 months ago
DistScroll - A New One-Handed Interaction Device
We present an interaction device for navigating data structures or browsing menus using only one hand. It is especially designed for situations in which the user wears gloves that...
Matthias Kranz, Paul Holleis, Albrecht Schmidt
PG
2003
IEEE
14 years 3 months ago
Interactive Visualization of Complex Real-World Light Sources
Interactive visualization of complex, real-world light sources has so far not been feasible. In this paper, we present an hardware accelerated direct lighting algorithm based on a...
Xavier Granier, Michael Goesele, Wolfgang Heidrich...
MM
2005
ACM
126views Multimedia» more  MM 2005»
14 years 3 months ago
Facilitating collective musical creativity
We present two projects that facilitate collective music creativity over networks. One system is a participative social music system on mobile devices. The other is a collaborativ...
Atau Tanaka, Nao Tokui, Ali Momeni