Computer Science: Recent submissions

Now showing items 136-140 of 297

    • Designing digital constructive visualization tools 

      Méndez, Gonzalo Gabriel (University of St Andrews, 2018-06-27) - Thesis
      The emergence of tools that support fast and easy creation of visualizations has made the benefits of Information Visualization (InfoVis) more accessible. The predominant design for visualization authoring tools often ...

    • 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 ...

    • Guaranteeing generalisation in neural networks 

      Polhill, John Gareth (University of St Andrews, 1995) - Thesis
      Neural networks need to be able to guarantee their intrinsic generalisation abilities if they are to be used reliably. Mitchell's concept and version spaces technique is able to guarantee generalisation in the symbolic ...

    • 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, ...