10715 search results - page 240 / 2143 » Proofs from Tests |
136
click to vote
PTS
2004
15 years 8 months ago
2004
In this paper, we discuss how to test partially specified IOTS through lossless queues. A liberal assumption is made of the IOTS model by allowing both blocked and unspecified inpu...
193
click to vote
PTS
2000
15 years 8 months ago
2000
Systems constructed from components, including distributed systems, consist of a number of elements that interact with each other. As the number of network elements or interchangea...
217
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
165
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
—This paper studies the problem of high-dimensional multiple testing and sparse recovery from the perspective of sequential analysis. In this setting, the probability of error is...
162
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we propose a nonparametric hypothesis test for stationarity based on local Fourier analysis. We employ a test statistic that measures the variation of time-localized...