Abstract. We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contr...
This study explores how the design of visual display configurations relates to linguistic expressions. Twenty-five participants performed a series of object identification and nar...
In this paper, we propose a multiple-device approach for supporting informal meetings using a digital whiteboard. Traditional digital whiteboard systems often suffer from a limite...
This paper presents thoughts to extend our understanding of bodily aspects of technology interactions. The aim of the paper is to offer a way of looking at the role our kinaesthet...
Astrid Twenebowa Larssen, Toni Robertson, Jenny Ed...
Music and songs usually have repeating patterns and prominent structure. The automatic extraction of such repeating patterns and structure is useful for further music summarizatio...