805 search results - page 33 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
123
click to vote
IJCAI
2007
15 years 4 months ago
2007
Abstract. We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge...
140
click to vote
ICONS
2009
IEEE
15 years 9 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
103
click to vote
CHI
1998
ACM
15 years 7 months ago
1998
ACM
The Insight Lab is an immersive environment designed to support teams who create design requirements documents. Requirements emerge from a deep understanding of a problem domain, ...
92
Voted
CHIMIT
2007
ACM
15 years 7 months ago
2007
ACM
Growth, adaptability, innovation, and cost control are leading concerns of businesses, especially with respect to use of information technology (IT). Though standards such as the ...
114
click to vote
CHI
2004
ACM
16 years 3 months ago
2004
ACM
In this paper we report a new approach to generating predictions about skilled interactive cognition. The approach, which we call Cognitive Constraint Modeling, takes as input a d...