470 search results - page 85 / 94 » Test Case Generation Based on State and Activity Models |
KDD
2005
ACM
15 years 10 months ago
2005
ACM
Knowledge Discovery in time series usually requires symbolic time series. Many discretization methods that convert numeric time series to symbolic time series ignore the temporal ...
SPIN
2005
Springer
15 years 3 months ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...
103
Voted
ICSE
1993
IEEE-ACM
15 years 1 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
HICSS
2010
IEEE
15 years 4 months ago
2010
IEEE
Numerous recent papers have found important relationships between network structure and risks within networks. These results indicate that network structure can dramatically affec...
116
click to vote
ICDM2
2004
Springer
15 years 2 months ago
2004
Springer
Vehicle production audit tests, warranty claims and car control unit data are stored in a central data warehouse for data mining analysis. Neural network based part failure rate es...