714 search results - page 12 / 143 » Formal Verification of Cognitive Models |
ERCIM
2007
13 years 8 months ago
2007
ICEIS
2010
IEEE
13 years 6 months ago
2010
IEEE
IAT
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper a cognitive model for visual attention is introduced. The cognitive model is part of the design of a software agent that supports a naval warfare officer in its task...
FMSD
2002
13 years 8 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...