2006 search results - page 163 / 402 » Heuristic Security-Testing Methods |
ICSM
2000
IEEE
15 years 5 months ago
2000
IEEE
Several reverse engineering methods for recovering objects from legacy systems have been proposed in the literature, but most of them neglect to identify the relationships among t...
CAV
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
126
Voted
CAIP
2009
Springer
15 years 5 months ago
2009
Springer
Bottom-up segmentation methods merge similar neighboring regions according to a decision rule and a merging order. In this paper, we propose a contribution for each of these two po...
113
Voted
ECML
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Ensemble methods are popular learning methods that usually increase the predictive accuracy of a classifier though at the cost of interpretability and insight in the deci...
95
Voted
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...