6756 search results - page 173 / 1352 » The Structure of Visual Spaces |
196
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
158
click to vote
TOG
2002
15 years 5 months ago
2002
Treemaps, a space-filling method of visualizing large hierarchical data sets, are receiving increasing attention. Several algorithms have been proposed to create more useful displ...
173
click to vote
VIS
2007
IEEE
16 years 7 months ago
2007
IEEE
Analyzing, visualizing, and illustrating changes within time-varying volumetric data is challenging due to the dynamic changes occurring between timesteps. The changes and variatio...
152
click to vote
IUI
2004
ACM
15 years 11 months ago
2004
ACM
Layout refers to the process of determining the size and position of the visual objects in an information presentation. We introduce the WeightMap, a bitmap representation of the ...
170
click to vote
VISUALIZATION
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we present an interactive texture-based technique for visualizing three-dimensional vector fields. The goal of the algorithm is to provide a general volume renderin...