757 search results - page 149 / 152 » agents 2000 |
TARK
2007
Springer
15 years 3 months ago
2007
Springer
Williamson (2000a) has argued that positive introspection is incompatible with inexact knowledge. His argument relies on a margin-for-error requirement for inexact knowledge based...
AC
2000
Springer
15 years 1 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
CITA
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper reports an investigation into the adoption of the Internet amongst Malaysian travel agencies as a means of exploring the likely future potential growth of e-business wi...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
—This article describes a rigorous and complete framework for the simultaneous localization and map building problem for mobile robots: the symmetries and perturbations map (SPma...
ICEIS
2000
IEEE
15 years 1 months ago
2000
IEEE
We understand distributed systems as a collection of distributed computation resources that work together as one harmonious system. It is the great achievement of computer network...