Sciweavers

2446 search results - page 112 / 490
» Characterizing the Performance of
Sort
View
CAISE
2005
Springer
15 years 11 months ago
The Logic of Correctness in Software Engineering
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
Mark Priestly
133
Voted
CORR
2010
Springer
94views Education» more  CORR 2010»
15 years 5 months ago
Quantization of Discrete Probability Distributions
We study the problem of quantization of discrete probability distributions, arising in universal coding, as well as other applications. We show, that in many situations this probl...
Yuriy A. Reznik
PRL
1998
142views more  PRL 1998»
15 years 5 months ago
A monothetic clustering method
: The proposed divisive clustering method performs simultaneously a hierarchy of a set of objects and a monothetic characterization of each cluster of the hierarchy. A division is ...
Marie Chavent
ICMI
2009
Springer
125views Biometrics» more  ICMI 2009»
16 years 4 days ago
Speaker change detection with privacy-preserving audio cues
In this paper we investigate a set of privacy-sensitive audio features for speaker change detection (SCD) in multiparty conversations. These features are based on three different...
Sree Hari Krishnan Parthasarathi, Mathew Magimai-D...
ATS
2010
IEEE
229views Hardware» more  ATS 2010»
15 years 3 months ago
Variation-Aware Fault Modeling
Abstract--To achieve a high product quality for nano-scale systems both realistic defect mechanisms and process variations must be taken into account. While existing approaches for...
Fabian Hopsch, Bernd Becker, Sybille Hellebrand, I...