4287 search results - page 200 / 858 » Minimal Mental Models |
UM
2005
Springer
15 years 6 months ago
2005
Springer
During conversation, people often make assumptions or suppositions that are not explicitly stated. Failure to identify these suppositions may lead to mis-communication. In this pap...
138
Voted
MICCAI
2004
Springer
15 years 6 months ago
2004
Springer
Currently, minimally invasive cardiac surgery (MICS) faces several limitations, including inadequate training methods using non-realistic models, insufficient surgery planning usin...
81
Voted
ICDAR
2003
IEEE
15 years 6 months ago
2003
IEEE
A novel strategy for the representation and manipulation of distributed documents, potentially complex and heterogeneous, is presented in this paper. The document under the propos...
122
Voted
GRAPHITE
2003
ACM
15 years 6 months ago
2003
ACM
A point-based 3D surface modelling technique combined with a new point rendering technique is presented. Surfaces are modelled by specifying a set of unorganized points on the sur...
102
Voted
ICSE
2003
IEEE-ACM
15 years 6 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...