Technical Reports By Year: 94

1     Hierarchical Clustering with ART Neural Networks

Guszti Bartfai

2     The Match Tracking Problem of the ARTMAP Neural Network

Guszti Bartfai

3     Foundations of Foundations of Artificial Intelligence

Ashwin Ram, Eric K. Jones

4     A Tcl/Tk Tutorial

Robert Biddle

5     Using the Tk Canvas Facility

Robert Biddle

6     Iterative Design of Case Retrieval Systems

Eric K. Jones, Aaron Roydhouse

7     Viewpoint Specification and Z

M. Ainsworth, A.H. Cruickshank, Lindsay Groves, P.J.L. Wallis

8     Deriving Language Recognition Algorithms: A Case Study in Combining Program Specialisation and Data Refinement

Lindsay Groves

9     Metavariables and Conditional Refinements in the Refinement Calculus

Raymond G. Nickson, Lindsay Groves

10     Implicit Volume Rendering of Generalised Cylinders

Peter Hall

11     Representing Inheritance and Overriding in Datalog

Gillian Dobbie, Rodney Topor

12     On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems

Gillian Dobbie, Rodney Topor

13     Simulating and animating flow through a network of tubes

Peter Hall

14     Automated analysis of x-ray angiograms

Peter Hall, Richard Feltham, Trevor Fitzjohn

15     Simulated angiography

Peter Hall

16     A C++ interface for Map

Peter Andreae, Robert Biddle, Ewan Tempero

17     Simulating x-ray angiography, a user manual

Peter Hall

18     Teaching C++: Experience at Victoria University of Wellington

Robert Biddle, Ewan Tempero

19     Argument Representation and Conceptual Retrieval for Litigation Support

Paul Hosking

20     Efficient Retrieval of Structured Spatial Information from a Large Database

Eric K. Jones, Aaron Roydhouse

21     Program Derivation in the Refinement Calculus: An Introduction

Lindsay Groves

22     Deriving a Predictive Parsing Algorithm

Lindsay Groves

23     Automated Performance Management in a Distributed System

Francis A. Gardner