HCI evaluation methods are useful for improving the design of interactive systems, yet they may be rejected by nontraditional technology disciplines such as media art. We have dev...
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
Chao-Tsun Chang, William C. Chu, Chung-Shyan Liu, ...
– Allowing a user to remain connected to the network whilst on the move is becoming a common requirement for any new communication system. The EU project Ambient Networks, theref...
Ramon Aguero Calvo, Abigail Surtees, Jochen Eisl, ...
Preparation, recording, segmentation and pitch labelling of Slovenian diphone inventories are described. A special user friendly intert'ace package was developed in order to ...
Jerneja Gros, Ivo Ipsic, Simon Dobrisek, France Mi...
Abstract. In this paper we introduce the concept of an interactive mathematical document. We give a formal description of such a document, which enables us to introduce the notion ...