2006 search results - page 162 / 402 » Heuristic Security-Testing Methods |
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
110
click to vote
WAIM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Ensemble methods can achieve excellent performance relying on member classifiers’ accuracy and diversity. We conduct an empirical study of the relationship of ensemble...
112
click to vote
CEC
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract- Simulated annealing (SA) is an effective general heuristic method for solving many combinatorial optimization problems. This paper deals with two problems in SA. One is ...
103
click to vote
ICDM
2003
IEEE
15 years 6 months ago
2003
IEEE
Learning Bayesian network structure from large-scale data sets, without any expertspecified ordering of variables, remains a difficult problem. We propose systematic improvements ...
INFOCOM
2002
IEEE
15 years 6 months ago
2002
IEEE
— Network survivability is a crucial requirement in high-speed optical networks. Typical approaches of providing survivability have considered the failure of a single component s...