6087 search results - page 823 / 1218 » Knowledge discovery methods |
154
click to vote
WOWMOM
2005
ACM
16 years 12 days ago
2005
ACM
— Self-management has often been proposed as a means to reduce the growing complexity of administration in distributed systems. We argue that this can be achieved through aggress...
212
click to vote
ASP
2005
Springer
16 years 12 days ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
196
click to vote
CCS
2005
ACM
16 years 12 days ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
184
click to vote
DALT
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. This paper is concerned with designing architectures for rational agents. In the proposed architecture, agents have belief bases that are theories in a multi-modal, highe...
204
click to vote
ICNC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The method of lexical chains is the first time introduced to generate summaries from Chinese texts. The algorithm which computes lexical chains based on the HowNet knowl...