4814 search results - page 284 / 963 » Combining abstract interpreters |
165
click to vote
GI
2004
Springer
16 years 10 hour ago
2004
Springer
Abstract: The goals of organic computing are difficult to achieve due to the heterogenity of current software components. We believe that in the long term more advanced software a...
170
click to vote
AP2PC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper, we propose a Bayesian network-based trust model in peerto-peer networks. Since trust is multi-faceted, even in the same context, peers still need to develo...
173
click to vote
DAWAK
2003
Springer
15 years 12 months ago
2003
Springer
Abstract In data clustering, many approaches have been proposed. For example, K-means method and hierarchical method. A problem is in effect by initial value and criterion to comb...
163
click to vote
KI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
177
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Autonomous agents operating in complex dynamic environments need the ability to integrate robust plan execution with higher level reasoning. This paper describes work to ...