4597 search results - page 743 / 920 » The Spider Model of Agents |
GW
2003
Springer
14 years 1 months ago
2003
Springer
Focusing on deixis in human computer interaction this paper presents interdisciplinary work on the use of co-verbal gesture . Empirical investigations, theoretical modeling, and co...
ECOOP
2000
Springer
14 years 13 days ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
CSFW
1998
IEEE
14 years 11 days ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
TARK
1998
Springer
14 years 9 days ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
ITS
1992
Springer
14 years 5 days ago
1992
Springer
This paper describes a distributed learning system which consists of two connected computers so that students can learn in collaboration and/or competition at different locations. ...