The concept of “enhanced eyes” to restore gaze awareness in a collaborative mixed-reality space is proposed. Three “enhanced eyes” schemes are described: controlling the h...
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
In this paper, we use multi-objective techniques to compare different genetic programming systems, permitting our comparison to concentrate on the effect of representation and sepa...
Nguyen Xuan Hoai, Robert I. McKay, Daryl Essam, Hu...
There is a significant need to recognise the text in images on web pages, both for effective indexing and for presentation by non-visual means (e.g., audio). This paper presents a...
In this paper, we quantify several spatial capabilities of the hmnan tactile system needed for tactile feedback, or teletaction. Psychophysics experiments measure the amplitude re...
Gabriel Moy, Ujjwal Singh, Eden Tan, Ronald S. Fea...