3384 search results - page 250 / 677 » More Testable Properties |
181
click to vote
INFOCOM
1994
IEEE
15 years 10 months ago
1994
IEEE
A n eficient fair queueing scheme which is feasible for broadband implementation is proposed and its performance is analyzed. We define fairness in a selfcontained manner, elimina...
174
click to vote
COLT
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we introduce and investigate a mathematically rigorous theory of learning curves that is based on ideas from statistical mechanics. The advantage of our theory over ...
173
click to vote
COMPGEOM
1994
ACM
15 years 10 months ago
1994
ACM
For two given point sets, we present a very simple (almost trivial) algorithm to translate one set so that the Hausdor distance between the two sets is not larger than a constant ...
162
Voted
HOA
1993
15 years 10 months ago
1993
This paper studies termination properties of rewrite systems that are typeable using intersection types. It introduces a notion of partial type assignment on Curryfied Term Rewri...
129
click to vote
UIST
1993
ACM
15 years 10 months ago
1993
ACM
Skimming or browsing audio recordings is much more difficult than visually scanning a document because of the temporal nature of audio. By exploiting properties of spontaneous spe...