126 search results - page 19 / 26 » Specifying and Generating Test Cases Using Observer Automata |
ICDM
2005
IEEE
15 years 3 months ago
2005
IEEE
An outlier is an observation that deviates so much from other observations as to arouse suspicion that it was generated by a different mechanism. Outlier detection has many applic...
60
Voted
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
This paper addresses the problem of reproducing oscillations generated by the well-known slugging phenomenon in multiphase flow. Reported investigations show how to determine the p...
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
87
Voted
CAI
2004
Springer
14 years 9 months ago
2004
Springer
A complete hardware implementation of an evolvable combinational unit for FPGAs is presented. The proposed combinational unit consisting of a virtual reconfigurable circuit and evo...
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...