Sciweavers

3384 search results - page 207 / 677
» More Testable Properties
Sort
View
TIT
1998
105views more  TIT 1998»
13 years 9 months ago
Diversity Waveform Sets for Delay-Doppler Imaging
Abstract— Properties of the ambiguity function and the uncertainty relation of Fourier transforms assert fundamental limitations on the ability of any single radar waveform of co...
Jiann-Ching Guey, Mark R. Bell
TSE
1998
93views more  TSE 1998»
13 years 9 months ago
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers
An important step in the development of dependable systems is the validation of their fault tolerance properties. Fault injection has been widely used for this purpose, however wi...
Joao Carreira, Henrique Madeira, João Gabri...
TCS
2002
13 years 9 months ago
Logical systems for structured specifications
We study proof systems for reasoning about logical consequences and refinement of structured specifications, based on similar systems proposed earlier in the literature [ST 88, Wi...
Tomasz Borzyszkowski
TIP
2002
133views more  TIP 2002»
13 years 9 months ago
Wavelet-based rotational invariant roughness features for texture classification and segmentation
In this paper, we introduce a rotational invariant feature set for texture segmentation and classification, based on an extension of fractal dimension (FD) features. The FD extract...
Dimitrios Charalampidis, Takis Kasparis
TIT
2002
107views more  TIT 2002»
13 years 9 months ago
Wavelet deconvolution
Abstract--This paper studies the issue of optimal deconvolution density estimation using wavelets. The approach taken here can be considered as orthogonal series estimation in the ...
Jianqing Fan, Ja-Yong Koo