1994 Working Papers: Recently added
Now showing items 1-18 of 18
-
Proceedings of the First New Zealand Formal Program Development Colloquium
(1994-11)This volume gathers together papers presented at the first in what is planned to be a series of annual meetings which aim to bring together people within New Zealand who have an interest in the use of formal ideas to enhance ... -
Providing integrated support for multiple development notations
(1994-11)A new method for providing integrated support for multiple development notations (including analysis, design, and implementation) within Information Systems Engineering Environments (ISEEs) is described. This method supports ... -
The architecture of an optimistic CPU: the WarpEngine
(1994-09)The architecture for a shared memory CPU is described. The CPU allows for parallelism down to the level of single instructions and is tolerant of memory latency. All executable instructions and memory accesses are time ... -
Data transformation: a semantically-based approach to function discovery
(1994-08)This paper presents the method of data transformation for discovering numeric functions from their examples. Based on the idea of transformations between functions, this method can be viewed as a semantic counterpart to ... -
Survival of the species vs survival of the individual
(1994-08)This paper examines the relationships between human and computing entities. It develops the biological ethical imperative towards survival into a study of the forms inherent in human beings and implied in computer systems. ... -
Applying machine learning to agricultural data
(1994-07)Many techniques have been developed for abstracting, or "learning," rules and relationships from diverse data sets, in the hope that machines can help in the often tedious and error-prone process of acquiring knowledge ... -
WEKA machine learning project: cow culling
(1994-07)This report describes an investigation into the application of machine learning tools in the area of agricultural database information. The Weka workbench is a set of machine learning software tools with a common data input ... -
The architecture of an optimistic CPU: the WarpEngine
(1994-07)The architecture for an optimistic, highly parallel, scalable, shared memory CPU - the WarpEngine - is described. The WarpEngine CPU allows for parallelism down to the level of single instructions and is tolerant of memory ... -
Navigating the virtual library: a 3D browsing interface for information retrieval
(1994-07)An interface is described for graphically navigating a large collection of documents, as in a library. Its design is based on the metaphor of traversing a landscape. Documents are depicted as buildings, clustered to form ... -
WEKA: a machine learning workbench
(1994-07)Weka is a workbench for machine learning that is intended to aid in the application of machine learning techniques to a variety of real-world problems, in particular, those arising from agricultural and horticultural ... -
A calculator for supporting derivation in constructive type-theory: PICTCalc
(1994-06)PICTCalc is an interactive program written in LPA Prolog which has encoded within it the rules of Martin-Löf's constructive type theory (CTT), a formal system based on the constructive or intuitionistic mathematics of ... -
On the insecurity of arithmetic coding
(1994-06)Arithmetic coding is a technique which converts a given probability distribution into an optimal code and is commonly used in compression schemes. The use of arithmetic coding as an encryption scheme is considered. The ... -
Collaborative, integrated software development with multiple views
(1994-05)This paper presents a new model for supporting collaborative, integrated software development utilising multiple textual and graphical views. Views can be asynchronously edited by different developers using separate versions. ... -
MiraCalc: the Miranda Calculator, the Unix version
(1994-04)Those of you who already have some experience of programming, or experience of simply using a computer, will know that computers can be very unforgiving. They are fussy, and unless you get things exactly right they will ... -
Constructing integrated software development environments with dependency graphs
(1994-03)Integrated software development environments need to support multiple textual and graphical views of software products under development. MViews, a new model for constructing such environments, provides abstractions for ... -
Chinks in the armor of public key cryptosystems
(1994-03)Potential weaknesses in public key cryptosystem design and use are identified with emphasis on a particular vulnerability resulting from the encryption of ordinary natural language plaintext. This weakness occurs when an ... -
The induction and professional development of academics
(1994-02)This paper makes suggestions for the induction and professional development of staff at the University of Waikato. The context of the University as a community of scholars and administrators is outlined. A number of possible ... -
Character-less programming
(1994-02)This paper proposes a mechanism for the definition and implementation of programming languages. Culturally-dependent aspects of the definition, such as the language and character set, can be separated from the process of ...