1045 search results - page 120 / 209 » Stepping into the Interactive Drama |
174
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
153
click to vote
ESWA
2006
15 years 6 months ago
2006
Communication is a critical success factor in design. It can be seen as the social and cognitive process by which information is selected, messages are exchanged between interacti...
151
click to vote
IJISTA
2008
15 years 6 months ago
2008
: We present a scene acquisition system which allows for fast and simple acquisition of arbitrarily large 3D environments. We propose a small device which acquires and processes fr...
180
click to vote
JVCA
2006
15 years 6 months ago
2006
We present an efficient approach that merges the virtual objects into video sequences taken by a freely moving camera in a realistic manner. The composition is visually and geomet...
174
click to vote
TOG
2008
15 years 6 months ago
2008
In this paper we present an approach to enrich skeleton-driven animations with physically-based secondary deformation in real time. To achieve this goal, we propose a novel, surfa...