School of Computing

Waltz Quick Start

Jonathan C. Roberts

Technical Report 23-96, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK, December 1996.

Abstract

The Waltz Quick Start document describes by diagrams the important functions of the Waltz Visualization System.

Waltz is a tool to visualize three dimensional data and reads special reference files containing details of the data file, path name, dimensions and aspect ratios of the data. Waltz (as the name suggests) contains three parts: Generalization, Specialization and Abstraction. The Generalization Process splits the data into spatially connected groups. A specialization is formed from a subset (selection) of these groups. The results are displayed in multiple abstract views of the same data. These abstractions are formed by losing or augmenting the data to facilitate in the understanding of the data.

Download publication 309 kbytes

Bibtex Record

@techreport{313,
author = {Jonathan C. Roberts},
title = {{Waltz Quick Start}},
month = {December},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/313},
    address = {Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK},
    institution = {University of Kent},
    number = {23-96},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014