4345 search results - page 87 / 869 » Temporal Constraint Networks |
PST
2004
13 years 11 months ago
2004
In this paper we present a new approach to stateful intrusion detection. It is based on a temporal logic which has the capability to express temporary properties, which are propert...
BPM
2006
Springer
14 years 1 months ago
2006
Springer
Web Services-based business processes spread over the boundaries of companies, requiring the integration of customers, suppliers and partners to achieve inter-organizational busine...
IWANN
2001
Springer
14 years 2 months ago
2001
Springer
In the beginning of nineties, Hava Siegelmann proposed a new computational model, the Artificial Recurrent Neural Network (ARNN), and proved that it could perform hypercomputation....
DAGM
1993
Springer
1993
Springer
Segmentation of Magnetic Resonance Brain Images using Analog Constraint Satisfaction Neural Networks
14 years 2 months ago
The Grey-White Decision Network (GWDN) is presented as an analog constraint satisfaction neural network that segments magnetic resonance brain images. Constraints on signal intens...
ASIAN
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...