Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
We outline a scheme by which encrypted multicast audiovisual data may be watermarked by lightweight active network components in the multicast tree. Every recipient receives a slig...
Current systems used in education follow a consistent design pattern, one that is not supportive of lifelong learning or personalization, is asymmetric in terms of user capability,...
Scott Wilson, Oleg Liber, Mark Johnson, Phillip Be...
This paper describes ongoing research into the use of a domain-retargetable reverse engineering environment to aid the structural understanding of large information spaces. In par...
HCI issues for older people are extremely important the rapidly ageing population in developed cou addition, technology offers great potential for this but it will only be useful ...