• Tracking battery state-of-charge in a continuous use off-grid electricity system

    Apperley, Mark; Alahmari, Mohammed Mushabab (University of Waikato, Department of Computer Science, 2013-10)
    The growing importance of batteries in the delivery of primary energy, for example in electric vehicles and isolated off-grid electricity systems, has added weight to the demand for simple and reliable measures of a battery’s ...
  • Catching and displaying memory cues for a mobile augmented memory system

    Bellamy, Jake; Hinze, Annika (University of Waikato, Department of Computer Science, 2013-12)
    This report goes over and details the progress of the 2013 COMP477 project “Augmenting Memory: The Digital Parrot on Mobile Devices” undertaken by Jake Bellamy and supervised by Annika Hinze at the University of Waikato. The ...
  • Text categorization and similarity analysis: similarity measure, architecture and design

    Fowke, Michael; Hinze, Annika; Heese, Ralf (University of Waikato, Department of Computer Science, 2013-12)
    This research looks at the most appropriate similarity measure to use for a document classification problem. The goal is to find a method that is accurate in finding both semantically and version related documents. A ...
  • Text categorization and similarity analysis: similarity measure, literature review

    Fowke, Michael; Hinze, Annika; Heese, Ralf (University of Waikato, Department of Computer Science, 2013-12)
    Document classification and provenance has become an important area of computer science as the amount of digital information is growing significantly. Organisations are storing documents on computers rather than in paper ...
  • Social interactions using an electronic rabbit

    Zaicu, Alexandru Calin; Hinze, Annika (University of Waikato, Department of Computer Science, 2013-12)
    In this project we use an electronic rabbit called Karotz, created by French company Violet. The rabbits have the ability to connect autonomously to a WI-FI network. IN this project we use Karotz to record an audio log ...
  • Text categorization and similarity analysis: implementation and evaluation

    Fowke, Michael; Hinze, Annika; Heese, Ralf (University of Waikato, Department of Computer Science, 2013-12)
    This report covers the implementation of software that aims to identify document versions and se-mantically related documents. This is important due to the increasing amount of digital information. Key criteria were that ...
  • The orienting mouse: An input device with attitude

    Apperley, Mark; Rogers, Bill (University of Waikato, Department of Computer Science, 2013-11)
    This paper presents a modified computer mouse, the Orienting Mouse, which delivers orientation as an additional dimension of input; when the mouse is moved on a flat surface it reports, in addition to the conventional x, ...
  • Compositional nonblocking verification with always enabled and selfloop-only events

    Pilbrow, Colin (University of Waikato, Department of Computer Science, 2013-11-19)
    This report proposes to improve compositional nonblocking verification through the use of two special event types: always enabled and selfloop-only events. Compositional verification involves abstraction to simplify parts ...
  • The JStar language philosophy

    Utting, Mark; Weng, Min-Hsien; Cleary, John G. (University of Waikato, Department of Computer Science, 2013-11-11)
    This paper introduces the JStar parallel programming language, which is a Java-based declarative language aimed at discouraging sequential programming, en-couraging massively parallel programming, and giving the compiler ...
  • A Parallel semantics for normal logic programs plus time

    Cleary, John G.; Utting, Mark; Clayton, Roger (University of Waikato, Department of Computer Science, 2013-11-11)
    It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a general purpose parallel programming language. Examples show that such a language can accept real-time external inputs and ...
  • Fostering energy awareness in residential homes using mobile devices

    Reinhart, Florian; Schlieper, Kevin; Kugler, Michael; André, Elisabeth; Masoodian, Masood; Rogers, Bill (University of Waikato, Department of Computer Science, 2013-10-16)
    There is considerable global effort being made towards identifying ways of reducing energy consumption to cope with growing demands. Although there is potential for energy saving in many sectors, our focus is on reducing ...
  • Browsing and book selection in the physical library shelves

    Cunningham, Sally Jo; Alqurashi, Hayat; Hinze, Annika; Vanderschantz, Nicholas; Timpany, Claire; Heese, Ralf (University of Waikato, Department of Computer Science, 2013-02)
    Library users should be conveniently interact with collections and be able to easily choose books of interest as they explore and browse a physical book collection. While there exists a growing body of naturalistic studies ...
  • Partial unfolding for compositional nonblocking verification of extended finite-state machines

    Mohajerani, Sahar; Malik, Robi; Fabian, Martin (University of Waikato, Department of Computer Science, 2013-01-30)
    This working paper describes a framework for compositional nonblocking verification of reactive systems modelled as extended finite-state machines. The nonblocking property can capture the absence of livelocks and deadlocks ...

View more