2917 search results - page 330 / 584 » Satisfying Interaction Constraints |
176
click to vote
HUC
2009
Springer
15 years 11 months ago
2009
Springer
Intelligibility can help expose the inner workings and inputs of context-aware applications that tend to be opaque to users due to their implicit sensing and actions. However, use...
168
click to vote
PG
2000
IEEE
15 years 11 months ago
2000
IEEE
Recent years have witnessed dramatic growth in the use of subdivision schemes for graphical modeling and animation, especially for the representation of smooth, oftentimes complex...
242
click to vote
VVS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present here a new algorithm for accelerating volume rendering with an orthographic projection. Because volume rendering handles huge data sets, a reduction in the computationa...
266
click to vote
CHI
2000
ACM
15 years 11 months ago
2000
ACM
In this paper, we describe our experiences of developing and evaluating GUIDE, an intelligent electronic tourist guide. The GUIDE system has been built to overcome many of the lim...
192
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...