Customisable abstract representation layer for digital libraries by Feng, Fu-Yao Kevin

Get full text

The design and implementation of an image processing system by Miketinac, Jeanmary

Get full text

KLM-Style Defeasible Reasoning for Datalog by Paterson-Jones, Guy

“…Syntactically, it can be viewed as a computationally feasible fragment of firstorder logic, so this continues a recent line of work in which the Klm framework is lifted to more expressive languages.…”
Get full text

Using formalised floor-plans in the design and creation of virtual environments by Beirowski, Charlene

Get full text

The performance of coevolutionary topologies in developing competitive tree manipulation strategies for symbolic regression by Ombura, Martin

“…Computer bugs and tests are antagonistic elements of the software development process, with the former attempting to corrupt a program and the latter aiming to identify and fix the introduced faults. …”
Get full text

Parallelisation of algorithms by Schuilenburg, Alexander Marius

“…Most numerical software involves performing an extremely large volume of algebraic computations. This is both costly and time consuming in respect of computer resources and, for large problems, often super-computer power is required in order for results to be obtained in a reasonable amount of time. …”
Get full text

VRBridge: A constructivist approach to supporting interaction design and end-user authoring in virtual reality by Winterbottom, Cara

“…We used a task exploration metric, questionnaires and computer logging to evaluate aspects of task performance: how effectively end-users could create interactions with VRBridge; how effectively they worked in the domain of VR authoring; how much enjoyment or satisfaction they experienced during the process; and how well they learned over time. …”
Get full text

Automated stock trading : a multi-agent, evolutionary approach by Kruger, Kurt

Get full text

ROLAND : a tool for the realistic optimisation of local access network design by Buffler, Simon

Get full text

An object-oriented library for shared-memory parallel simulations by Machanick, Philip

Get full text

The implementation of a front end processor for a subset of ADA by Epstein, Jacqueline

Get full text

The efficient and cost effective asynchronous mail sender for road warriors by Lee, Kuo-Hung

Get full text

Fast, realistic terrain synthesis by Crause, Justin

Get full text

Access and information flow control to secure mobile web service compositions in resource constrained environments by Maziya, Lwazi Enock

Get full text

Distributed shared memory for virtual environments by Godfrey, Andrew

Get full text

Bottom-up evaluation of HiLog in the context of deductive database systems by Luppnow, Andrew James

Get full text

Machine learning in predictive analytics on judicial decision-making by Pienaar, Celia

Get full text

Gaining Perspective with an Evolutionary Cognitive Architecture for Intelligent Agents by Jones, David Griffin

Get full text

Defeasible justification for the KLM Framework by Wang, Shun

“…Classical justifications are computed based on materialised formulas (classical counterparts of defeasible formulas). …”
Get full text

Co-designing community-based digital innovations for Maternal and Child Health (MCH) by Coleman, Toshka

Get full text