4095 search results - page 306 / 819 » How to test a tree |
120
Voted
TON
2002
15 years 13 days ago
2002
Packet delay greatly influences the overall performance of network applications. It is therefore important to identify causes and location of delay performance degradation within ...
105
Voted
MICS
2010
14 years 11 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
80
Voted
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce ...
82
Voted
LREC
2008
15 years 2 months ago
2008
This paper discusses development and evaluation of a practical, valid and reliable instrument for evaluating the spoken language abilities of second-language (L2) learners of Engl...
112
click to vote
ICIP
1998
IEEE
16 years 2 months ago
1998
IEEE
In this paper, we extend the statistical model-based Estimation-Quantization (EQ) wavelet image coding algorithm introduced in [?] to include an adaptive transform component. For ...