21430 search results - page 3833 / 4286 » Abstract Effective Models |
187
click to vote
CANS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In this paper, we propose a new unsupervised anomaly detection framework for detecting network intrusions online. The framework consists of new anomalousness metrics name...
159
click to vote
CEEMAS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We discuss the application of Model-Based Diagnosis in (agentbased) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It...
176
click to vote
CHARME
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
139
click to vote
CICLING
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Transliterating words and names from one language to another is a frequent and highly productive phenomenon. For example, English word cache is transliterated in Japanese...
190
click to vote
COCOON
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable as...