School of Computing

Waltz User Manual

Jonathan C. Roberts

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

Abstract

This Document describes relevant information to understand and control 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 299 kbytes

Bibtex Record

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

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

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

Last Updated: 21/03/2014