Sciweavers

6087 search results - page 823 / 1218
» Knowledge discovery methods
Sort
View
174
Voted
WOWMOM
2005
ACM
81views Multimedia» more  WOWMOM 2005»
16 years 1 months ago
Robust Distributed Systems Achieving Self-Management through Inference
— 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...
Willem de Bruijn, Herbert Bos, Henri E. Bal
231
Voted
ASP
2005
Springer
16 years 1 months ago
Combining Answer Sets of Nonmonotonic Logic Programs
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
Chiaki Sakama, Katsumi Inoue
221
Voted
CCS
2005
ACM
16 years 1 months ago
Deciding security of protocols against off-line guessing attacks
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...
Mathieu Baudet
213
Voted
DALT
2005
Springer
16 years 1 months ago
An Architecture for Rational Agents
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...
John W. Lloyd, Tim D. Sears
228
Voted
ICNC
2005
Springer
16 years 1 months ago
Automatic Text Summarization Based on Lexical Chains
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...
Yanmin Chen, Xiaolong Wang, Guan Yi