4460 search results - page 314 / 892 » Formal methods for interactive systems |
194
click to vote
SAFECOMP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
200
click to vote
CGF
2008
15 years 6 months ago
2008
Interactive global illumination for fully deformable scenes with dynamic relighting is currently a very elusive goal in the area of realistic rendering. In this work we propose a ...
154
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Researchers are using emerging technologies to develop novel play environments, while established computer and console game markets continue to grow rapidly. Even so, evaluating t...
175
click to vote
ISMAR
2006
IEEE
16 years 21 days ago
2006
IEEE
In this article we present an interaction tool, based on the Magic Lenses technique, that allows a 3D scene to be affected dynamically given contextual information, for example, t...
183
click to vote
ISMAR
2005
IEEE
16 years 8 days ago
2005
IEEE
Paper-based cartographic maps provide highly detailed information visualisation with unrivalled fidelity and information density. Moreover, the physical properties of paper affor...