4584 search results - page 242 / 917 » interact 2007 |
177
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
170
click to vote
PG
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a novel PRT-based method that uses precomputed visibility cuts for interactive relighting with all-frequency environment maps and arbitrary dynamic BRDFs. Our ...
190
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
We consider a model for interacting objects, where the evolution of each object is given by a finite state Markov chain, whose transition matrix depends on the present and the pa...
209
click to vote
VR
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a new tactile feedback system for finger-based interactions in immersive virtual reality applications. The system consists of tracked thimbles for the fingers with shap...
213
click to vote
WACV
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a novel framework for 3D reassembly, the task of assembling a solid object from its broken pieces. The primary challenge in this under-explored problem is to robustly e...