3068 search results - page 239 / 614 » Separation Results on the |
165
click to vote
JSYML
2000
15 years 6 months ago
2000
Let X be a compact metric space. A closed set K X is located if the distance function d(x, K) exists as a continuous realvalued function on X; weakly located if the predicate d(x,...
195
click to vote
FMSD
2002
15 years 6 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
188
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
TCP trunking is a novel way of applying TCP congestion control to bandwidth management of aggregate traffic. This is accomplished by setting up a separate TCP connection to probe ...
191
click to vote
VLSISP
1998
15 years 6 months ago
1998
In this paper, we present preliminary results comparing the nature of the errors introduced by the mixture of principal components (MPC) model with a wavelet transform and the Karh...
154
click to vote
TASLP
2002
15 years 6 months ago
2002
With the rapidly growing use of the audio and multimedia information over the Internet, the technology for retrieving speech information using voice queries is becoming more and mo...