4584 search results - page 532 / 917 » interact 2007 |
185
Voted
CSL
2007
Springer
16 years 1 months ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
166
click to vote
EGH
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we present a method for rendering deformations as part of the programmable shader pipeline of contemporary Graphical Processing Units. In our method, we allow gener...
164
Voted
IDEAL
2007
Springer
16 years 1 months ago
2007
Springer
It is well known that global sustainability must begin with human actions. A reduction of the consumed energy in the heating systems is one of such possible actions. The higher the...
190
Voted
CHI
2007
ACM
15 years 11 months ago
2007
ACM
This paper reports a longitudinal study of a non-speech input-controlled continuous cursor control system: Whistling User Interface (U3I). This study combines quantitative (target...
166
Voted
WCE
2007
15 years 8 months ago
2007
— Industrial plants makes a carefully trace of the human intervention on the process. This intervention happens at different points in the history of the facility, since the desi...