Research Commons

Browsing Computing and Mathematical Sciences Papers by Title

Research Commons

Browsing Computing and Mathematical Sciences Papers by Title

Sort by: Order: Results:

  • Bowen, Judith Alyson; Reeves, Steve (2009)
    Testing interactive systems is notoriously difficult. Not only do we need to ensure that the functionality of the developed system is correct with respect to the requirements and specifications, we also need to ensure that ...
  • Bowen, Judith Alyson; Reeves, Steve (ACM, 2011)
    Test-driven development (TDD) is a software development approach, which has grown out of the Extreme Programming and Agile movements, whereby tests are written prior to the implementation code which is then developed and ...
  • Smith, Tony C.; van de Molen, Chris (Springer, 2011)
    This paper describes an experimental system for knowledge acquisition based on a general framework exemplified in the game of twenty questions. A sequence of propositional questions is put to the user in an attempt to ...
  • Cunningham, Sally Jo; Bennett, Erin Kay (Springer, 2008)
    A streaming collage visualization of images extracted from the collection’s documents has been proposed as an effective tool for gaining a comprehensive overview of a digital library collection (“collection understanding”). ...
  • Cunningham, Sally Jo; Humphrey, Matthew C.; Witten, Ian H. (1996)
    The aim of many machine learning users is to comprehend the structures that are inferred from a dataset, and such users may be far more interested in understanding the structure of their data than in predicting the outcome ...
  • Cunningham, Sally Jo; Humphrey, Matthew C.; Witten, Ian H. (1996)
    Researchers in machine learning use decision trees, production rules, and decision graphs for visualizing classification data. Part I of this paper surveyed these representations, paying particular attention to their ...
  • Hinze, Annika; Faensen, Daniel (Spring, Berlin, 1999)
    In the last years, alerting systems have gained strengthened attention. Several systems have been implemented. For the evaluation and cooperation of these systems, the following problems arise: The systems and their models ...
  • Reeves, Steve; Streader, David (University of Waikato, Department of Computer Science, 2004)
    If a coin is given to a deterministic robot that interacts with a deterministic vending machine then is the drink that the robot is delivered determined? Using process definitions of determinism from CSP, CCS or ACP the ...
  • Utting, Mark; Malik, Petra (Springer, 2008)
    We propose a simple framework for validation unit testing of Z specifications, and illustrate this framework by testing the first few levels of a POSIX specification. The tests are written in standard Z, and are executable ...
  • Kalnins, Ernie G. (1972)
    Unitary irreducible representations of the homogeneous Lorentz group O(3, 1) belonging to the principal series are reduced with respect to the subgroup O(1,1) O(2). As an application we determine the mixed basis matrix ...
  • Stokes, Tim E.; Hocking, Graeme Charles; Forbes, Lawrence K. (2005)
    The unsteady axisymmetric withdrawal from a fluid with a free surface through a point sink is considered. Results both with and without surface tension are included and placed in context with previous work. The results ...
  • Schmidberger, Gabi; Frank, Eibe (Springer, Berlin, 2005)
    This paper presents an unsupervised discretization method that performs density estimation for univariate data. The subintervals that the discretization produces can be used as the bins of a histogram. Histograms are a ...
  • Nichols, David M.; Twidale, Michael B. (2002)
    Open source communities have successfully developed many pieces of software although most computer users only use proprietary applications. The usability of open source software is often regarded as one reason for this ...
  • Nichols, David M.; Thomson, Kirsten; Yeates, Stuart Andrew (2001)
    Open-source is becoming an increasingly popular software development method. This paper reports a usability study of the open-source Greenstone Digital Library collection-building software. The problems highlighted by the ...
  • Nichols, David M.; Twidale, Michael B. (2004)
    The public nature of discussion in open source projects provides a valuable resource for understanding the mechanisms of open source software development. In this paper we explore how open source projects address issues ...
  • Apperley, Mark; Nichols, David M. (Springer, 2011)
    This chapter presents an overview of usability in Aotearoa/New Zealand, from the academic and industrial perspectives. It contains a brief description of the country and focuses on the development of HCI and its characteristics ...
  • Cunningham, Sally Jo; Bennett, Erin Kay (2011)
    While Greenstone is a versatile tool for creating and managing digital collections, its interface is not well suited for senior users. As we age, our usability requirements for software change; the mismatch between interfaces ...
  • Nichols, David M.; Twidale, Michael B. (2003)
    Open source communities have successfully developed a great deal of software although most computer users only use proprietary applications. The usability of open source software is often regarded as one reason for this ...
  • Nichols, David M.; Twidale, Michael B. (The ICFAI University Press, 2006)
    Open source communities have successfully developed many pieces of software although most computer users only use proprietary applications. The usability of open source software is often regarded as one reason for this ...
  • Nichols, David M.; Twidale, Michael B. (2006)
    We explore how some open source projects address issues of usability. We describe the mechanisms, techniques and technology used by open source communities to design and refine the interfaces to their programs. In particular ...

Search Research Commons


Advanced Search

Browse

Theses

About Research Commons

My Account

Usage Statistics