Sciweavers

2203 search results - page 291 / 441
» Temporal Abstract Interpretation
Sort
View
HPCC
2009
Springer
15 years 8 months ago
A Streaming Intrusion Detection System for Grid Computing Environments
Abstract—In this paper, a novel architecture for a streaming intrusion detection system for Grid computing environments is presented. Detection mechanisms based on traditional lo...
Matthew Smith, Fabian Schwarzer, Marian Harbach, T...
CAIP
2001
Springer
129views Image Analysis» more  CAIP 2001»
15 years 8 months ago
MPEG 2-Based Video Coding with Three-Layer Mixed Scalability
Abstract. The paper describes a three-layer video coder based on spatiotemporal scalability and data partitioning. The base layer represents video sequences with reduced spatial an...
Marek Domanski, Slawomir Mackowiak
EPIA
2001
Springer
15 years 8 months ago
Situation Calculus as Hybrid Logic: First Steps
Abstract. The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing th...
Patrick Blackburn, Jaap Kamps, Maarten Marx
IWANN
2001
Springer
15 years 8 months ago
A Realistic Computational Model of the Local Circuitry of the Cuneate Nucleus
Abstract. Intracellular recordings obtained under cutaneous and lemniscal stimulation show that the afferent fibers can establish excitatory and inhibitory synaptic connections w...
Eduardo Sánchez Vila, Senén Barro, J...
MLDM
2001
Springer
15 years 8 months ago
Learning XML Grammars
0 Temporal Abstractions and Case-Based Reasoning for Medical Course Data: Two Prognostic Applications R. Schmidt and R. Gierl University of Rostock, Germany 9.00-9.30 Local Learnin...
Henning Fernau