Mobile workers need seamless access to communication and information services on portable devices. However current solutions overwhelm users with intrusive and ambiguous notificat...
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...
A computerised system supporting public presentations that are "personalised" at two levels is now possible. Firstly, the system exploits context information to adapt th...
We present a new mechanism for preserving phenotypic behavioural diversity in a Genetic Programming application for hedge fund portfolio optimization, and provide experimental res...
A dual active contour can use two snakes to seek an energy minimum which lies between their initial positions. This relieves problems associated with initialisation. The contracti...