• Proceedings of the First New Zealand Formal Program Development Colloquium

    Reeves, Steve (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

    Grundy, John C.; Venable, John R. (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

    Cleary, John G.; Pearson, Murray W.; Kinawi, Husam (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

    Phan, Thong H.; Witten, Ian H. (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

    Barbour, Robert H.; Hopper, Keith (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

    McQueen, Robert J.; Garner, Stephen R.; Nevill-Manning, Craig G.; Witten, Ian H. (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

    De War, Rhys; Neal, Donna Liane (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

    Cleary, John G.; Pearson, Murray W.; Kinawi, Husam (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

    Rogers, Bill; Cunningham, Sally Jo; Holmes, Geoffrey (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

    Holmes, Geoffrey; Donkin, Andrew; Witten, Ian H. (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

    Reeves, Steve (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

    Cleary, John G.; Irvine, Sean A.; Rinsma-Melchert, Ingrid (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

    Grundy, John C.; Hosking, John G.; Mugridge, Warwick B.; Armor, Robert W. (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

    Goldson, Doug; Hopkins, Mike; Reeves, Steve (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

    Grundy, John C.; Hosking, John G. (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

    Wilson, William J. (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

    Barbour, Robert H. (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

    Hopper, Keith; Barbour, Robert H. (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 ...

View more