3342 search results - page 126 / 669 » Symbolic Robustness Analysis |
167
click to vote
CAV
2000
Springer
15 years 9 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
144
click to vote
FMOODS
2006
15 years 7 months ago
2006
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
158
click to vote
EUROGP
2010
Springer
15 years 7 months ago
2010
Springer
We present an analysis of the genotype-phenotype map in Grammatical Evolution (GE). The standard map adopted in GE is a depth-first expansion of the non-terminal symbols during the...
178
click to vote
IS
2008
15 years 6 months ago
2008
We propose a dimensionality reduction technique for time series analysis that significantly improves the efficiency and accuracy of similarity searches. In contrast to piecewise c...
135
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We report (to our knowledge) the first evaluation of Constraint Satisfaction as a computational framework for solving closest string problems. We show that careful consideration o...