Sciweavers

71 search results - page 7 / 15
» From Universal Laws of Cognition to Specific Cognitive Model...
Sort
View
RE
2002
Springer
13 years 8 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
IADIS
2004
13 years 10 months ago
Assessment of User Rationality and Adaptivity: A Case Study
The paper presents the results of an empirical study on users' behaviors when they were asked to perform a task and its variant in a usability test. Specific focus was set on...
Effie Lai-Chong Law, Borka Jerman-Blazic
IJVR
2008
137views more  IJVR 2008»
13 years 8 months ago
Reasoning about Action for Behavioral Animation of Intelligent Virtual Agents
Recent work in behavioral animation has taken impressive steps towards a virtual human. As for intelligent virtual agents, abbreviated "IVAs", the behaviors displayed in ...
Yisong Liu, Shan Zhong, Yongzhao Zhan
VISUAL
2005
Springer
14 years 2 months ago
Wayfinding Choreme Maps
This contribution details how conceptual characterizations of route knowledge can provide the basis for graphical route information in a cognitively adequate way. The approach is b...
Alexander Klippel, Kai-Florian Richter, Stefan Han...
ISORC
2008
IEEE
14 years 3 months ago
The Complexity Challenge in Embedded System Design
The specific constraints that must be satisfied by embedded systems, such as timeliness, energy efficiency of battery-operated devices, dependable operation in safety-relevant sce...
Hermann Kopetz