2073 search results - page 126 / 415 » Reactive Information Displays |
134
click to vote
IPM
2006
15 years 4 months ago
2006
Both structured and unstructured data, as well as structured data representing several different types of tuples, may be integrated into a single list for browsing or retrieval. D...
147
click to vote
AUTOMOTIVEUI
2009
ACM
15 years 8 months ago
2009
ACM
There has been an increasing interest for in-vehicle interfaces that make use of haptic information. A simulator study was conducted to investigate whether haptic information can ...
152
click to vote
VL
2002
IEEE
15 years 9 months ago
2002
IEEE
In recent years, real world objects have been used to reflect information previously shown on the computer screen. While most earlier efforts have required significant developer...
130
click to vote
APVIS
2001
15 years 5 months ago
2001
An overview of previous approaches to the visualisation of uncertainty is presented making the distinction between verity visualisation, where the uncertainty information is an in...
115
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...