Sciweavers

1646 search results - page 84 / 330
» Validation Measures in CMMI
Sort
View
DAC
2010
ACM
14 years 1 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare
ICDM
2007
IEEE
176views Data Mining» more  ICDM 2007»
14 years 28 days ago
A Compact Representation of Spatio-Temporal Data
As technology advances we encounter more available data on moving objects, which can be mined to our benefit. In order to efficiently mine this large amount of data we propose an ...
Sigal Elnekave, Mark Last, Oded Maimon
ESWS
2008
Springer
13 years 11 months ago
Conceptual Clustering and Its Application to Concept Drift and Novelty Detection
Abstract. The paper presents a clustering method which can be applied to populated ontologies for discovering interesting groupings of resources therein. The method exploits a simp...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito
EUSFLAT
2001
125views Fuzzy Logic» more  EUSFLAT 2001»
13 years 10 months ago
Computational intelligence approaches for parametric estimation and feature extraction of power spectral density
This paper reports an early progress of a feasibility study of a computational intelligence approach to the enhancement of the accuracy of flow measurements in the framework of a ...
Da Ruan, Davide Roverso, Paolo F. Fantoni
WSC
2004
13 years 10 months ago
An Efficient Screening Methodology for a Priori Assessed Non-Influential Factors
The choice of which factors to choose to vary in a simulation to effect a change in the measure of interest is difficult. Many factors are a priori judged not to effect the measur...
Thomas M. Cioppa