462 search results - page 29 / 93 » Verifying Properties of Neural Networks |
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
Approaches based on local features and descriptors are increasingly used for the task of object recognition due to their robustness with regard to occlusions and geometrical defor...
DSN
2005
IEEE
14 years 1 months ago
2005
IEEE
We propose the first model of stateful firewalls. In this model, each stateful firewall has a variable set called the state of the firewall, which is used to store some packet...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
DSN
2002
IEEE
14 years 19 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
KES
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. A new approach is proposed to recover the relative magnitude of Gaussian curvature from three shading images using neural network. Under the assumption that the test obje...