Usability testing typically focuses on methodology and metrics, while the specific interactions being tested are chosen in an ad hoc way. This paper demonstrates a framework for o...
V. Katie Emery, Julie A. Jacko, Thitima Kongnakorn...
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...
As a response to a number of notable contemporary aesthetic tendencies, this paper introduces the notion of an infrainstrument as a kind of ‘new interface for musical expression...