Completed Graduate Theses

Clustering, Swarms and Recommender Systems

Smoothing Particle Hydrodynamics parallel implementation for numerical modelling of solid-fluid interactions

The Design and Evaluation of StudySieve, a Tool that supports Student-Generated Free-Response Quesitons, Answers and Evaluations

Efficient Joins to Process Stream Data

Software Process Improvement for Medium and Small Software Development Organisations

Concurrency protocols for a message queue on a triplestore

Unscented Kalman filter sensor fusion for monocular camera localisation

Monocular head pose estimation for driver assistance systems

GPU-accelerated direct volume rendering of curvilinear finite element models

P systems inspired stereo matching

A GPGPU-accelerated texture-based radiosity technique with support for dynamic environments

Providing data level access control for web services

A study of Hybrid Transactional Memory

Semantic Space Models for Classification of Consumer Webpages of Metadata Attributes

Semantic Query Optimisation for XML documents

The Visual Wiki: A New Metaphor for Knowledge Access and Management

Segmentation of Surfaces Using Active Contours

A Virtual Environment for Medical Teamwork Training with Support for Non-Verbal Communication using Consumer-Level Hardware and Software

Investigating the Effect of Students' Personality Traits Towards Improving Pair Programming's Effectiveness as a Pedagogical Tool for CS/SE Education

Quantum Random Numbers: Certification and Generation

Animated 3D visualisation of stereo and motion analysis on EISTAS data

OpenID and the Enterprise: A model-base analysis of single sign-on authentication

Versioning in a Triplestore

A Study of Free-riding in BitTorrent

Belief propagation based stereo matching with due account of visibility conditions

State Complexity of Finite State Automata

Enhancing Wikipedia with Semantic Technologies

Improvements to Image Data Hiding

Novel Framework for Transaction Based Web Applications in Compute Cloud

Analysis of TCP flows based on applications and round-trip time

The Computation of Finite-State Complexity

Temporal extension for SPARQL

Exploring intuitive methods for creating Euler and spider diagrams

XPath semantic checking tool

Critic specification for domain-specific visual language tools

Semantic space models for classification of consumer webpages on metadata attributes

Daily mortality analysis in relation to meteorological and air pollutant data using compound backpropagation multi-layer perceptron neural network models

An integrated visual approach for business process modelling

A journey from finite to automatic structures and beyond

Methodologies for the development of qualitative spatial and temporal reasoning applications

Sports scheduling: an artificial intelligence approach

Measuring indirect coupling

QoS-aware web service composition choreography

Novel frameworks for transaction based web applications in compute cloud

Ambient awareness of build status in collocated software teams

Improving the QoS requirement by using IPv6 flow label in the Internet

To evaluate and develop a 3D application to enhance and visualise Smartinhaler data

Comparing cross company and single company effort models using Bayesian networks

Detection and Analysis of Fast Flux Networks

A study of natural hand gesture based human-computer interaction

Road feature perception for driver assistance systems

Evaluation of Motion Analysis on Real-World Video Sequences

Support for dynamic supply chain modelling

Foundations of semistructured data

On the discovery, selection and combination of building blocks in evolutionary algorithms

Towards the Construction of Large Bayesian Networks for Web Cost Estimation

Investigating the effect of negatively : correlated relationships in numerically rated collaborative filtering systems

Iterative evaluation of stixels by applying a quadratic classifier

Document resizing for visually impaired readers

Improvements to audio data hiding

Comparison of XML compressors

Data classifications using entropy estimators: CTW and T-entropy

Life sketch: a tool for sketch-based modeling and animation

Network event detection with entropy measures

Design and evaluation of software obfuscations

Topics in computable model theory

Semanti: topic maps and their semi-automatic generation from highly structured web sites

Belief-propagation for stereo and motion analysis of image sequences

Evaluation of protocols to support streaming media

Performance Evaluation of Stereo and Motion Analysis on Rectified Image Sequences

QoS-aware web service composition

Sustainable allocation, scheduling and rostering: a real-time visual interactive staff rostering system for airport passenger biosecurity clearance

Exact and approximate algorithms for the calculation of shortest paths

Concepts and techniques in software watermarking and obfuscation

Implementing an object-oriented network traffic flow meter

Interoperability of CAD to integrated system : design and implementation of mapping software between CAD applications and Bisco database

3D sketch interface for biomedical modelling

Traditional passive replication approach with parallel processing: a decentralized passive replication approach

RDWSEE: a reliable distributed web service execution engine

Efficient mapping of XML to relational database management systems for clinical data repositories

Exploring better techniques for diagram recognition

Integrating GIS to an integrated information environment

Early web cost estimation using the Modified Use Case Points method

Developing efficient mobile agent systems using aspects

The licensing schemes of software and digital media

JCGROUP a general purpose distributed computation framework in Java

The development of a case-based reasoning tool focusing on knowledge maintenance

Noise-driven dynamic programming stereo

Noise-driven concurrent stereo matching

Video surveillance

Scholarly knowledge systems: the effect of link types on scholarly performance

Weighted update games

A framework for interactive web-based visualization

Dynamic optimistic replication

User-centric server performance monitoring and analysis

2D volcanic soil porosity analysis using image processing techniques

Cluster-based network activity modelling

The modelling of code generation as a sequence of tree transformations

A Non-Adversarial Evaluation of Software Watermarking

XML based distributed programming contest control

Hierarchical partitioned framework for the ant colony optimization metaheuristic

Geometric and photometric correction of projected rectangular pictures

An investigation into quality of service issues for web services

A Formal Security Modeling and Analysis in B2B e-commerce

Target calibration and tracking using the conformal model of geometric algebra

The Icicle programming environment for children

Fast string parsing and its application in information and similarity measurement

Improving students' learning: pair programming practice for computer science students stage II at the University of Auckland

A case-based reasoning approach: an automated project planning framework

Predictive modelling and active site analysis of nitroreductase enzymes

Interactive modelling and efficient rendering of trees

Addressing operator-made semantic errors in XML queries

Generation of human body models

Finding the shortest average path lengths in Kleinberg's small world model

Semantic web service and composition

Adding awareness to design tools using a plug-in web service based approach

Heuristic Analysis: Predicting the Accuracy of Heuristics in Admissible Search

Artificial intelligence in computer games

Texture analysis of collagen fibers in scar tissue

Building dynamic inter-organization business processes by orchestrating web services

EMARS: a P2P system supporting efficient multi-attribute range search

A fuzzy set approach to path finding in time-dependent network

Information services in grid computing

A simulation based performance estimation system for e-commerce distributed systems

Designing test suites for software interaction testing

Ensemble learning by data resampling

Numerical methods for linear shape from shading and height from gradients

Thin-client user interface design for the Pounamu meta-CASE tool

Network monitoring from a user's perspective

A physically based animation engine applied to a hexapod model

Tātari : a tool for the development and evaluation of recommender system algorithms

Stereological and geometrical methods for property estimation in digital picture analysis

A Fuzzy Qualitative Spatial Information System - Dealing with Qualitative Geographical Description

Caching dynamic web pages

The detection of dominant points on digital curves and surfaces

Towards using XQuery to mine XML documents

Developing a case-based reasoning tool using database-retrieval technology

Bridging Computer Graphics and Vision for 3-D Facial Synthesis and Animation

Website usability evaluation using logic scoring preference

Multi-strategic learning, reasoning and searching in the game of Go

Hand posture analysis and classification

An e-whiteboard application to support early design-stage sketching of UML diagrams

A structured approach to visualising the event handling specification

A distributed framework for graph algorithms

Movement analysis using stereo imaging

An analysis of the Burrows-Wheeler transform using deterministic information theory

A new approach to software process improvement for small software development organisations

Network traffic flow characterization

Generating performance test-beds for web-based software architecture

An environment for developing adaptive multi-device user interfaces

Entanglement and entropy engineering of atomic two-qubit mixed states

Analysis, design, and control of stereoscopic panoramic imaging

Generation of distributed system test-beds from high-level software architecture descriptions

Aspect-oriented component engineering

Efficiency and security improvements for the CORMORANT Conference Management System

Tamperproofing a software watermark by encoding constants

Walking algorithm for small humanoid

RoboCup rescue: a distributed constraint satisfaction approach to the implementation of the fire brigade agents

Functional size measurement of web applications

DNA computation: gene networks and DNA computers

Impulse-based dynamics and neural-network control of artificial stick figures

Accent identification using wavelets

Implementation of a database-driven web site for AI-CBR community

Applying layerisation: enhancement to both reusability and separation of concerns in enterprise-wide component-based systems

The effect of branches on dual processor prefetching

Fast texture synthesis with bunch sampling

High resolution splatting

Towards an adaptive artificial creature: experiments in reinforcement learning

Comparison of communication technologies using a large-scale system

Hyperwave online employment system

Aspect-oriented component engineering

A reusable web based participant registration and conference administration system for scientific conferences

Surface area measurement based on polyhedrization

Shape recovery of a mannequin using PSM and SFC

Curly hair rendering

Integration of shape from contour and photometric stereo

A framework for memetic algorithms

Checkpointing in internet-based distributed computing systems

Surface area estimation for 3D digital objects based on relative convex hulls

Calibration of dynamic stereo and binocular stereo for large scale objects

The design and verification of a cryptographic security architecture

From dynamic languages to dynamic architectures: the Java code incorporation approach

Anytime path planning for mobile robots in highly dynamic environments

Massive search with bagging

Randomness and cellular automata

Physically Based Modelling and Animation of Rigid Body Systems

Performance issues in large databases

3D reconstruction of piscine vision

A web-based workflow management system for a rental car company

Measuring Data Cache and TLB Parameters under Linux

Image matching for uncalibrated multiple-view scene reconstruction

A Petri net based technique for graphical user interface design

Emotion-driven deformation of non-human faces

Testing computational complementarity for finite automata using distributed object technology

3DComposer - A visual builder for 3D notations

Godel's incompleteness theorems: old and new results

High quality volume rendering

Path tracking control of non-holonomic car-like robot with reinforcement learning

A new integration technique for gradient fields in polar coordinates

A fluid based soft object model

A comparative study of two astronomical software packages

A visual object-oriented modelling environment

Border measurement analysis for planar objects

Robust source coding with generalised T-codes

Simplified recommender system

Telephony over the Internet

A further study of queue prediction

Study of queue prediction: a fast cell scheduling algorithm

Solomonoff Induction

Fitting surfaces to multiple orthogonal contour sets

The talk-net project: real-time speech communications using T-codes

Heuristic search in route finding

A Formal Model and General Theory for Comparator Networks

Querying in program visualisation

Interactive machine translation using an Interlingua

Reconstruction of multiresolution surfaces

Automata-Theoretic Models for Computational Complementarity

A state-based model of parallel computation

Spatial analysis of braille reading experimental data (SABRED)

A modular monadic action semantics

Type algebra

Mental map system design issues in navigating the visually impaired

A fast polygonization method for quasi-convolutionally smoothed polyhedra

Hypermedia support for university activities

Fuzzy constraint satisfaction

A visualization system for object-oriented programs

Functional languages and their application in computer graphics

Modular neural networks for object recognition

Multiple textual and graphical views for interactive software development environments

Quantum: a dual constraint propagation and multi-paradigm programming language

Debate moderation using computers

The circuit model of parallel programming

Fuzzy rendering for high-quality image generation

An ethernet performance monitor: traffic analysis of the campus network

Towards the development of a robotic reaching aid using a modular robot control and simulation environment

Practical dictionary/arithmetic data compression synthesis

Image rendering without point sampling

Pattern recognition using neural networks

A visual programming environment for object-oriented languages

Image rendering by radiosity techniques

Graphical illustration of a generalised simulation system

Expert systems for codes of practice

Graphical programming in a general purpose simulation system

The automatic exploitation of coherence: a feasibility study

Design and implementation issues in a natural language help system

Parallel sorting algorithms

An investigation of knowledge-based design

A robot simulation

Hidden surface removal in object space

LOVE: learning from observations converted into examples

Runge-Kutta methods for oscillatory problems

Efficient implementation of Runge-Kutta methods for stiff ordinary differential equations

STEM: an extensible language

Local area networks

MaSCS: a Macintosh Sequential Circuit Simulator specifically designed for introducing students to sequential logic

Improved addressing with a decoupled architecture

PDB: an interactive assembly level debugging system

An interactive simulator for logic circuits

A sequential circuit organisation tutor

A dynamic program loader based on segmentation

The language "B": a definition, compiler and virtual machine