1297 search results - page 30 / 260 » Large Model Visualization: Techniques and Applications |
SIGSOFT
1996
ACM
14 years 23 days ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
GRAPHICSINTERFACE
2003
13 years 10 months ago
2003
Scanning the deformation behavior of real objects is a useful technique to acquire physically realistic behavior. It has been shown previously how to acquire physically realistic ...
IV
2003
IEEE
14 years 1 months ago
2003
IEEE
City models have become central elements for visually communicating spatial information related to urban areas and have manifold applications. Our real-time orealistic rendering t...
IADIS
2004
13 years 10 months ago
2004
Detailed and reliable information about the current traffic state is hardly obtainable by the road user. Therefore, we propose a web based visualization of the current and future ...
IV
2006
IEEE
14 years 2 months ago
2006
IEEE
We present interactive visual aids to support the exploration and navigation of graph layouts. They include Fisheye Tree Views and Composite Lenses. These views provide, in an int...