Verifying abstract information flow properties in fault tolerant security devices

The verification of information flow properties of security devices is difficult because it involves the analysis of schematic diagrams, artwork, embedded software, etc. In addition, a typical security device has many modes, partial information flow, and needs to be fault tolerant. We propose a new approach to the verification of such devices based upon checking abstract information flow properties expressed as graphs. This approach has been implemented in software, and successfully used to find possible paths of information flow through security devices.

Face recognition robust to head pose from one sample image

Most face recognition systems only work well under quite constrained environments. In particular, the illumination conditions, facial expressions and head pose must be tightly controlled for good recognition performance. In 2004, we proposed a new face recognition algorithm, Adaptive Principal Component Analysis (APCA) [4], which performs well against both lighting variation and expression change. But like other eigenface-derived face recognition algorithms, APCA only performs well with frontal face images. The work presented in this paper is an extension of our previous work to also accommodate variations in head pose. Following the approach of Cootes et al, we develop a face model and a rotation model which can be used to interpret facial features and synthesize realistic frontal face images when given a single novel face image. We use a Viola-Jones based face detector to detect the face in real-time and thus solve the initialization problem for our Active Appearance Model search. Experiments show that our approach can achieve good recognition rates on face images across a wide range of head poses. Indeed recognition rates are improved by up to a factor of 5 compared to standard PCA.

Design for Inspiration: Children, personal connections and educational technology

The project is working towards building an understanding of the personal interests and experiences of children with the aim of designing appropriate, usable and, most importantly, inspirational educational technology. kidprobe, an adaptation of the technology probe concept, has been used as a lightweight method of gaining contextual information about children's interactions with 'fun' technology. kidprobe has produced design inspiration which focuses primarily on the social and emotional connections children made. The use of kidprobe has generated some important ideas for improving the use of probes with children. It is an important first step in understanding how to effectively adapt probing techniques to inspire the design of technology for children.

Visualising collaboration via email: Finding the key players

Email is an important form of asynchronous communication. Visualizing analyses of email communication patterns during a collaborative activity help us better understand the nature of collaboration, and identify the key players. By analysing the contents of email communication and adding reflective comments on its perceived importance from the participants of a collaboration new information can be gleaned not immediately obvious in its original flat form. This paper outlines a proof-of-concept prototype collaborative email visualisation schema. Data from a collaboration case study is analysed and subsequently employed to construct a display of the relative impact of both key players and the types of email used.

Using the Amazon metric to construct an image database based on what people do, not what they say

Current image database metadata schemas require users to adopt a specific text-based vocabulary. Text-based metadata is good for searching but not for browsing. Existing image-based search facilities, on the other hand, are highly specialised and so suffer similar problems. Wexelblat's semantic dimensional spatial visualisation schemas go some way towards addressing this problem by making both searching and browsing more accessible to the user in a single interface. But the question of how and what initial metadata to enter a database remains. Different people see different things in an image and will organise a collection in equally diverse ways. However, we can find some similarity across groups of users regardless of their reasoning. For example, a search on Amazon.com returns other products also, based on an averaging of how users navigate the database. In this paper, we report on applying this concept to a set of images for which we have visualised them using traditional methods and the Amazon.com method. We report on the findings of this comparative investigation in a case study setting involving a group of randomly selected participants. We conclude with the recommendation that in combination, the traditional and averaging methods would provide an enhancement to current database visualisation, searching, and browsing facilities.