|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 48 van 65 gevonden artikelen
| Titel: |
Simulation and formal analysis of visual attention |
| Auteur: |
Bosse, Tibor van Maanen, Peter-Paul Treur, Jan |
| Verschenen in: |
Web intelligence and agent systems |
| Paginering: | Jaargang 7 (2009) nr. 1 pagina's 89-105 |
| Jaar: |
2009-03-10 |
| Inhoud: |
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of an agent-based system that supports a naval officer in its task to compile a tactical picture of the situation in the field. A case study is described in which the model is used to simulate a human subject's attention. The formal analysis is based on temporal relational specifications for attentional states and for different stages of attentional processes. The model has been automatically verified against these specifications. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 48 van 65 gevonden artikelen
| << vorige | volgende >> |