10891 search results - page 88 / 2179 » Combining Model Reductions |
129
Voted
AI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We present a performance analysis of three linear dimensionality reduction techniques: Fisher's discriminant analysis (FDA), and two methods introduced recently base...
148
click to vote
PSTV
1992
15 years 3 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
116
Voted
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
We consider the problem of testing for delay faults in macrobased circuits. Macro-based circuits are obtained as a result of technology mapping. Gate-level fault models cannot be ...
118
Voted
GECCO
1999
Springer
15 years 7 months ago
1999
Springer
Crossover operators that preserve common components can also preserve representation level constraints. Consequently, these constraints can be used to beneficially reduce the sea...
137
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...