• Data structures for Z testing tools.

    Utting, Mark (University of Waikato, Department of Computer Science, 2001-06-01)
    This paper describes some of the difficulties and challenges that arise during the design of tools for validating Z specifications by testing and animation. We address three issues: handling undefined terms, simplification ...
  • Interactive document summarisation.

    Jones, Steve; Lundy, Stephen; Paynter, Gordon W. (University of Waikato, Department of Computer Science, 2001-02-01)
    This paper describes the Interactive Document Summariser (IDS), a dynamic document summarisation system, which can help users of digital libraries to access on-line documents more effectively. IDS provides dynamic control ...
  • A simple approach to ordinal classification.

    Frank, Eibe; Hall, Mark A. (University of Waikato, Department of Computer Science, 2001-11-01)
    Machine learning methods for classification problems commonly assume that the class values are unordered. However, in many practical applications the class values do exhibit a nature order, for example, when learning how ...
  • Human evaluation of Kea, an automatic keyphrasing system.

    Jones, Steve; Paynter, Gordon W. (University of Waikato, Department of Computer Science, 2001-02-01)
    This paper describes an evaluation of the Kea automatic keyphrase extraction algorithm. Tools that automatically identify keyphrases are desirable because document keyphrases have numerous applications in digital library ...
  • Experiences using Z animation tools.

    Reeve, Greg; Reeves, Steve (University of Waikato, Department of Computer Science, 2001-05-01)
    In this paper we describe our experience of using three different animation systems. We searched for and decided to use these tools in the context of a project which involved developing formal versions (in Z) of informal ...

View more