1351 search results - page 56 / 271 » An Analysis of Inference with the Universum |
181
click to vote
COMCOM
2004
15 years 6 months ago
2004
A number of recent studies of Internet network structure are based on data collected from inter-domain BGP routing tables and tools, such as traceroute, to probe end-to-end paths....
313
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
156
click to vote
RECOMB
2002
Springer
16 years 7 months ago
2002
Springer
There has been considerable recent interest in the use of haplotype structure to aid in the design and analysis of case-control association studies searching for genetic predictors...
182
click to vote
ICNP
2007
IEEE
16 years 1 months ago
2007
IEEE
— The global Internet routing infrastructure is a large and complex distributed system where routing changes occur constantly. Our objective in this paper is to develop a simple ...
168
click to vote
BIBE
2006
IEEE
16 years 26 days ago
2006
IEEE
Microarray experiments produce gene expression data at such a high speed and volume that it is imperative to use highly specialized computational tools for their analyses. One grou...