Computer assisted image fusion provides an easy and accurate way to interpret and compare medical image pairs. Subjective expectations of human interpretator become less important...
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
Rafael Caballero, Christian Hermanns, Herbert Kuch...
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
— Social interaction history refers to traces of social interaction in information spaces. These traces have potential to help users explore and navigate through information spac...
We study the variations in two dimensional (2D) pointing tasks on a traditional white board of a group of subjects by means of capturing their movement traces in an automatic way w...