Now showing items 16-20 of 108

    • Using metric space indexing for complete and efficient record linkage 

      Akgün, Özgür; Dearle, Alan; Kirby, Graham Njal Cameron; Christen, Peter (Springer, 2018) - Conference item
      Record linkage is the process of identifying records that refer to the same real-world entities in situations where entity identifiers are unavailable. Records are linked on the basis of similarity between common attributes, ...
    • Guest editorial: High-level programming for heterogeneous parallel systems 

      Brown, Christopher Mark (2018-05-18) - Journal item
    • Change blindness in proximity-aware mobile interfaces 

      Brock, Michael Oliver; Quigley, Aaron John; Kristensson, Per Ola (ACM, 2018-04-21) - Conference item
      Interface designs on both small and large displays can encourage people to alter their physical distance to the display. Mobile devices support this form of interaction naturally, as the user can move the device closer or ...
    • TAPping into mental models with blocks 

      Rough, D.; Quigley, A. (IEEE, 2017-10-10) - Conference item
      Trigger-Action Programming (TAP) has been shown to support end-users' rule-based mental models of context-aware applications. However, when desired behaviours increase in complexity, this can lead to ambiguity that confuses ...
    • Knowledge-based interoperability for mathematical software systems 

      Kohlhase, Michael; De Feo, Luca; Müller, Dennis; Pfeiffer, Markus Johannes; Rabe, Florian; Thiéry, Nicolas; Vasilyev, Victor; Wiesing, Tom (Springer, 2017) - Conference item
      There is a large ecosystem of mathematical software systems. Individually, these are optimized for particular domains and functionalities, and together they cover many needs of practical and theoretical mathematics. However, ...