2664 search results - page 2 / 533 » The Many Faces of Agents |
JAPLL
2008
13 years 5 months ago
2008
Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
CHI
2006
ACM
14 years 5 months ago
2006
ACM
e, which has been published in the Extended Abstracts of the conference proceedings. The second chapter is a summary of the position papers that has been issued just before the wor...
ISAAC
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Set agreement is a fundamental problem in distributed computing in which processes collectively choose a small subset of values from a larger set of proposals. The imposs...
DMCCG
2001
Springer
13 years 9 months ago
2001
Springer
ICALP
2000
Springer
13 years 8 months ago
2000
Springer
First-order translations have recently been characterized as the maps computed by aperiodic single-valued nondeterministic finite transducers (NFTs). It is shown here that this ch...