Sciweavers

7318 search results - page 168 / 1464
» Models of real-valued measurability
Sort
View
DAC
2010
ACM
15 years 11 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
EUSFLAT
2009
120views Fuzzy Logic» more  EUSFLAT 2009»
15 years 5 months ago
A Fuzzy-Semiotic Framework for Modeling Imprecision in the Assessment of Depression
This paper presents a new framework to model an assessment process for a complex and multidimensional syndrome such as depression. Since the measurements of depression are inherent...
Mila Kwiatkowska, Krzysztof Kielan, Krzysztof Mich...
ICPADS
2005
IEEE
16 years 23 days ago
Systematic Performance Modeling and Characterization of Heterogeneous IP Networks
Accurate measurement and modeling of IP networks is essential for network design, planning, and management. Efforts are being made to detect the state of the network from end-to-e...
Alessio Botta, Donato Emma, Antonio Pescapè...
ITC
2003
IEEE
97views Hardware» more  ITC 2003»
16 years 13 days ago
A Generic Test Path and DUT Model for DataCom ATE
– It is well known that the output signals measured by an automatic test equipment (ATE) system are not only due to the device-under-test (DUT), but also due to the test path. Fo...
Jie Sun, Mike Li
ICASSP
2010
IEEE
15 years 7 months ago
Partial clustering using a time-varying frequency model for singing voice detection
We propose a new method to group partials produced by each instrument of a polyphonic audio mixture. This method works for pitched and harmonic instruments and is specially adapte...
Lise Regnier, Geoffroy Peeters