4287 search results - page 200 / 858 » Minimal Mental Models |
166
click to vote
UM
2005
Springer
16 years 20 days 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...
237
click to vote
MICCAI
2004
Springer
16 years 16 days ago
2004
Springer
Currently, minimally invasive cardiac surgery (MICS) faces several limitations, including inadequate training methods using non-realistic models, insufficient surgery planning usin...
176
click to vote
ICDAR
2003
IEEE
16 years 14 days 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...
219
click to vote
GRAPHITE
2003
ACM
16 years 13 days 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...
194
click to vote
ICSE
2003
IEEE-ACM
16 years 11 days 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...