265 search results - page 49 / 53 » A Temporal Logic Based Framework for Intrusion Detection |
NMR
2004
Springer
14 years 27 days ago
2004
Springer
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
EUROCAST
2003
Springer
14 years 23 days ago
2003
Springer
This paper explores the computational capacity of a novel local computational model that expands the conventional analogical and logical dynamic neural models, based on the charge ...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
CVPR
2004
IEEE
14 years 9 months ago
2004
IEEE
Most tracking algorithms are based on the maximum a posteriori (MAP) solution of a probabilistic framework called Hidden Markov Model, where the distribution of the object state a...