4584 search results - page 242 / 917 » interactions 2007 |
165
click to vote
LICS
2007
IEEE
16 years 28 days 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...
157
click to vote
PG
2007
IEEE
16 years 28 days 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 ...
168
click to vote
QEST
2007
IEEE
16 years 28 days 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...
194
click to vote
VR
2007
IEEE
16 years 27 days 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...
188
click to vote
WACV
2007
IEEE
16 years 27 days 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...