6608 search results - page 1074 / 1322 » On the Completeness of Model Checking |
178
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In supervector UBM/GMM paradigm, each acoustic file is represented by the mean parameters of a GMM model. This supervector space is used as a data representation space, which has...
198
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In many applications decisions must be made about the state of an object based on indirect noisy observation of highdimensional data. An example is the determination of the presen...
200
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
— Many real-world applications deal with uncertain or missing data, prompting a surge of activity in the area of probabilistic databases. A shortcoming of prior work is the assum...
209
click to vote
PERCOM
2011
ACM
14 years 10 months ago
2011
ACM
—In this paper, we propose P3 -coupon, a Prompt and Privacy-preserving electronic coupon distribution system based on a Probabilistic one-ownership forwarding algorithm. In this ...
189
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—Unbalanced traffic demands of different data center applications are an important issue in designing Data center networks (DCNs). In this paper, we present our exploratory inve...