1082 search results - page 84 / 217 » interactions 2000 |
CADE
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
KBS
2000
13 years 9 months ago
2000
: In this paper we present an interaction-oriented approach to the process of designing a document for the end-user. We emphasize exchange between subjects and the subjects' r...
ECIS
2000
13 years 10 months ago
2000
Software is viewed as an artefact which interacts with cultures of societies in which it functions. On the one hand, software manufacturers make efforts to adapt the appearance of ...
VR
2000
IEEE
14 years 27 days ago
2000
IEEE
Virtual environments have shown great promise as a research tool in science and engineering. In this paper we study a classical problem in mathematics: that of approximating globa...
AAAI
2000
13 years 10 months ago
2000
Intelligent user interfaces often rely on modified applications and detailed application models. Such modifications and models are expensive to build and maintain. We propose to a...