This paper addresses software plasticity, i.e. the ability of interactive systems to adapt to context of use while preserving user-centered properties. In plasticity, a classical a...
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
This paper addresses interoperability issues of learning content management systems. Motivation and design challenges are presented and an interoperability framework implemented a...
Abstract— In this paper we propose centralized feedback control laws for mobile sensor networks so that sensor trajectories cover a given domain as uniformly as possible. The des...
: In Queensland, access to specialist and sub-specialist paediatric care outside of major metropolitan centres is very limited. We describe our approach to the design and developme...
Nigel R. Armfield, Mark Bensink, Anthony C. Smith,...