This paper considers how we may provide support for the development of general design principles in domestic environments. In particular we examine the potential for using design p...
John A. Hughes, Jon O'Brien, Tom Rodden, Mark Roun...
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
One of the most widely used approaches in the context of object recognition across illumination changes consists in comparing the images by means of the intersection between invar...
This paper describes the shortcomings in the support that replaces the lost distributed cognition in older people who move to nursing homes and how artifacts can improve this by f...
Abstract. We present a comparative study of corpus-based methods for the automatic synthesis of email responses to help-desk requests. Our methods were developed by considering two...