Browsing by Title

Now showing items 928-947 of 14245

  • Automated Boundary Testing from Z and B

    Legeard, Bruno; Peureux, Fabien; Utting, Mark (Springer, 2002)
    We present a method for black-box boundary testing from B and Z formal specifications. The basis of the method is to test every operation of the system at every boundary state using all input boundary values of that ...
  • Automated canine scent-detection apparatus: Technical description and training outcomes

    Edwards, Timothy L.
    To date, laboratory scent-detection work with dogs has been a manual process whereby some or all aspects of the procedures are mediated by researchers. Automation of this process would eliminate issues associated with ...
  • Automated deduction of finite-state control programs for reactive systems

    Malik, Robi (Springer, Berlin, 1998)
    We propose an approach towards the automatic synthesis of finite-state reactive control programs from purely declarative, logic specifications of their requirements. More precisely, if P is a set of propositional temporal ...
  • Automated measurement of disease and pain in New Zealand group-housed calves

    Topp, Theresa (University of Waikato, 2015)
    Exposure to disease and pain will prolong animal ‘suffering’, and as such, diminishes welfare. Identifying behaviours indicative of these conditions can facilitate early detection, timely treatment and improved welfare. ...
  • An automated microaneurysm detector as a tool for identification of diabetic retinopathy in rural optometric practice

    Jelinek, Herbert J.; Cree, Michael J.; Worsley, David; Luckie, Alan; Nixon, Peter (Blackwell Publishing, 2006)
    Background: With the increase in the prevalence of diabetes, rural optometric clinics stand to increase their patient load and assessment of diabetic eye disease. This study aimed to assess whether automated identification ...
  • Automated retrofit of heat exchanger networks

    Lal, Nathan S. (The University of Waikato, 2020)
    In a large industrial processing plant, a significant amount of process heat is generated using fossil fuels, contributing to New Zealand’s overall greenhouse gas emissions. While New Zealand’s renewable energy sources ...
  • Automated Technology Based Behavioural Intervention to Promote Exercise Adherence: A Pilot Study to Ascertain Efficacy

    Allen, Vincent Thor (University of Waikato, 2015)
    Exercise has been shown to be an effective treatment for a range of physical and mental health problems. Development of automated exercise therapy options will result in greater accessibility of treatment for those who ...
  • Automatic application object migration in sensor networks

    Hunkin, Paul; McGregor, Anthony James (IEEE, 2010)
    Object migration in wireless sensor networks has the potential to reduce energy consumption for a wireless sensor network mesh. Automated migration reduces the need for the programmer to perform manual static analysis to ...
  • Automatic construction of lexicons, taxonomies, ontologies, and other knowledge structures

    Medelyan, Olena; Witten, Ian H.; Divoli, Anna; Broekstra, Jeen (Wiley, 2013)
    Abstract, structured, representations of knowledge such as lexicons, taxonomies, and ontologies have proven to be powerful resources not only for the systematization of knowledge in general, but to support practical ...
  • Automatic end-to-end De-identification: Is high accuracy the only metric?

    Yogarajan, Vithya; Pfahringer, Bernhard; Mayo, Michael (2019)
    De-identification of electronic health records (EHR) is a vital step towards advancing health informatics research and maximising the use of available data. It is a two-step process where step one is the identification of ...
  • Automatic Parallelisation of Web Applications

    Perrone, Gian David; Streader, David (Canterbury University, 2008)
    Small web applications have a tendency to get bigger. Yet despite the current popularity of web applications, little has been done to help programmers to leverage the performance and scalability benefits that can result ...
  • Automatic Parallelization of Data-Driven JStar Programs

    Weng, Min-Hsien (University of Waikato, 2013)
    Data-driven problems have common characteristics: a large number of small objects with complex dependencies. This makes the traditional parallel programming approaches more difficult to apply as pipe-lining the task ...
  • Automatic species identification of live moths

    Mayo, Michael; Watson, Anna T. (Elsevier Science Publishers B.V., 2007)
    A collection consisting of the images of 774 live moth individuals, each moth belonging to one of 35 different UK species, was analysed to determine if data mining techniques could be used effectively for automatic species ...
  • Automatic Weighing for Dry Stock

    Smialowski, Grzegorz (University of Waikato, 2013)
    The aim of the research was to develop an accurate weight estimation algorithm for dry stock cattle using unsupervised walk-over equipment and to investigate the accuracy of the dairy cow algorithm for dry stock animals. ...
  • Automatically linking MEDLINE abstracts to the Gene Ontology

    Smith, Tony C.; Cleary, John G. (2003)
    Much has been written recently about the need for effective tools and methods for mining the wealth of information present in biomedical literature (Mack and Hehenberger, 2002; Blagosklonny and Pardee, 2001; Rindflesch et ...
  • Automating iterative tasks with programming by demonstration

    Paynter, Gordon W. (The University of Waikato, 2000)
    Programming by demonstration is an end-user programming technique that allows people to create programs by showing the computer examples of what they want to do. Users do not need specialised programming skills. Instead, ...
  • Automating iterative tasks with programming by demonstration: a user evaluation

    Paynter, Gordon W.; Witten, Ian H. (1999-05)
    Computer users often face iterative tasks that cannot be automated using the tools and aggregation techniques provided by their application program: they end up performing the iteration by hand, repeating user interface ...
  • Automating vocabulary tests and enriching online courses for language learners

    König, Jemma Lynette (The University of Waikato, 2019)
    The past decade has seen a massive growth in online academic courses, most of which are offered in the English language. However, although more people speak English as their second language than as their first, online ...
  • An autopoietic approach to custody and contact decisions and the welfare and best interests of the child

    Schrenk, Amelda (University of Waikato, 2012)
    All over the common law world complaints are heard about the manner in which the courts decide the living arrangements for children when their parents separate. A large body of contributions from scholars and commentators ...
  • The average order of the Dirichlet series of the gcd-sum function

    Broughan, Kevin A. (University of Waterloo, Department of Computer Science, 2007)
    Using a result of Bordellès, we derive the second term and improved error expressions for the partial sums of the Dirichlet series of the gcd-sum function, for all real values of the parameter.