6800 search results - page 931 / 1360 » Testing with Functions as Specifications |
179
click to vote
SIAMSC
2008
15 years 6 months ago
2008
We study preconditioners for the iterative solution of the linear systems arising in the implicit time integration of the compressible Navier-Stokes equations. The spatial discreti...
228
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
The approach of using passage-level evidence for document retrieval has shown mixed results when it is applied to a variety of test beds with different characteristics. One main r...
196
click to vote
TON
2008
15 years 6 months ago
2008
Abstract-- Measurement and estimation of packet loss characteristics are challenging due to the relatively rare occurrence and typically short duration of packet loss episodes. Whi...
195
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Thousands of genes in a genomewide data set are tested against some null hypothesis, for detecting differentially expressed genes in microarray experiments. The expect...
203
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Within the peer-reviewed literature, associations between two things are not always recognized until commonalities between them become apparent. These commonalities ca...