2024 search results - page 34 / 405 » A Formal Model of Multi-agent Computations |
DSVIS
2006
Springer
13 years 11 months ago
2006
Springer
We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. I...
ACL
2011
12 years 11 months ago
2011
A system making optimal use of available information in incremental language comprehension might be expected to use linguistic knowledge together with current input to revise beli...
SOFSEM
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
TCS
1998
13 years 7 months ago
1998
In this paper we present an alternative order-theoretic proof of the Banach fixed point theorem for selfmaps on complete metric spaces which is based on formal balls and, contrary...
BIRTHDAY
2004
Springer
14 years 24 days ago
2004
Springer
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...