934 search results - page 127 / 187 » Modeling Context-Aware Distributed Knowledge |
139
click to vote
FORTE
2004
15 years 3 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
111
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
115
click to vote
JSS
2008
15 years 2 months ago
2008
The Web has become a ubiquitous tool for distributing knowledge and information and for conducting businesses. To exploit the huge potential of the Web as a global information rep...
143
Voted
ICCV
2011
IEEE
14 years 2 months ago
2011
IEEE
We present a method whereby an embodied agent using visual perception can efficiently create a model of a local indoor environment from its experience of moving within it. Our me...
123
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
The ability to proactively offer assistance promises to make personal agents more helpful to their users. We characterize the properties desired of proactive behaviour by a person...