Sciweavers

2970 search results - page 344 / 594
» A Model for the Visualization Exploration Process
Sort
View
RTCSA
1999
IEEE
15 years 9 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
ICIP
2007
IEEE
16 years 6 months ago
Virtual Mirror: Real-Time Tracking of Shoes in Augmented Reality Environments
In this paper, we present a system that enhances the visualization of customized sports shoes using augmented reality techniques. Instead of viewing yourself in a real mirror, sop...
Jürgen Rurainsky, Peter Eisert, Philipp Fecht...
ICCV
1999
IEEE
16 years 6 months ago
Measuring Convexity for Figure/Ground Separation
In human perception, convex surfaces have a strong tendency to be perceived as the "figure". Convexity has a stronger influence on figural organization than other global...
Hsing-Kuo Pao, Davi Geiger, Nava Rubin
ISVC
2007
Springer
15 years 11 months ago
SketchSurfaces: Sketch-Line Initialized Deformable Surfaces for Efficient and Controllable Interactive 3D Medical Image Segmenta
We present an intuitive, fast and accurate interactive segmentation method for visualizing and analyzing 3D medical images. Our method combines a general deformable subdivision-sur...
Meisam Aliroteh, Tim McInerney
FASE
2006
Springer
15 years 8 months ago
A Graph-Based Approach to Transform XML Documents
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...
Gabriele Taentzer, Giovanni Toffetti Carughi