388 search results - page 70 / 78 » Mind the (Intelligibility) Gap |
MATA
2001
Springer
14 years 1 months ago
2001
Springer
To overcome the shortcomings of existing IP networks and to facilitate the overall quality-of-service (QoS) provisioning in the near-future networks, new technologies such as Multi...
NEUROSCIENCE
2001
Springer
14 years 1 months ago
2001
Springer
This volume is intended to help advance the field of artificial neural networks along the lines of complexity present in animal brains. In particular, we are interested in examin...
TPHOL
1999
IEEE
14 years 1 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
HUC
1999
Springer
14 years 1 months ago
1999
Springer
BUILD-IT is a planning tool based on computer vision technology, supporting complex planning and composition tasks. A group of people, seated around a table, interact with objects ...
IADIS
2004
13 years 10 months ago
2004
The success of Web search is often limited by a variety of factors. Typical queries are vague and imprecise. At the same time, the Web is a dynamic and unmoderated collection and ...