Su, Li and Bowman, H. and Barnard, Philip (2007) Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. In: Electronic Notes in Theoretical Computer Science. Elsevier pp. 95-111.
|
Download (315Kb)
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
|
|
| Official URL http://dx.doi.org/10.1016/j.entcs.2008.03.109 |
||
Abstract
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional capture in the context of Barnard's key-distractor Attentional Blink task. This model captures core aspects of the allocation of human attention over time and as such should be applicable across a range of practical settings when human attentional limitations come into play. Thus, we have used this model to evaluate the performance trade-os that would arise from varying key parameters in Stimulus Rich Reactive Interfaces. A strength of formal methods is that they are abstract and thus, the resulting specications of the operator are general purpose, ensuring that our ndings are broadly applicable.
| Item Type: | Conference or workshop item (Paper) |
|---|---|
| Uncontrolled keywords: | Formal methods, HCI, SRRIs, Attentional blink, ICS |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Divisions: | Faculties > Science Technology and Medical Studies > School of Computing > Computational Intelligence Group |
| Depositing User: | Mark Wheadon |
| Date Deposited: | 24 Nov 2008 18:04 |
| Last Modified: | 20 Apr 2012 11:33 |
| Resource URI: | http://kar.kent.ac.uk/id/eprint/14545 (The current URI for this page, for reference purposes) |
- Depositors only (login required):
