Visual search is an important part of human-computer interaction. It is critical that we build theory about how people visually search displays in order to better support the user...
Modern microprocessors adopt speculative scheduling techniques where instructions are scheduled several clock cycles before they actually execute. Due to this scheduling delay, sc...
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech, gesture and eye gaze tracking. The flexibility they offer results in ...
A touchscreen can be overlaid on a tablet computer to support asymmetric two-handed interaction in which the non-preferred hand operates the touchscreen and the preferred hand use...
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...