9405 search results - page 1031 / 1881 » Computing a Model of Set Theory |
207
click to vote
INFOCOM
2005
IEEE
16 years 1 months ago
2005
IEEE
— We define “random trip", a generic mobility model for independent mobiles that contains as special cases: the random waypoint on convex or non convex domains, random wa...
209
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: The occurrence of a genetic bottleneck in HIV sexual or mother-to-infant transmission has been well documented. This results in a majority of new infections being homo...
201
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Microarray pre-processing usually consists of normalization and summarization. Normalization aims to remove non-biological variations across different arrays. The norm...
237
click to vote
ENTCS
2008
15 years 7 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
248
click to vote
PROPERTYTESTING
2010
15 years 5 months ago
2010
We initiate the study of sublinear-time algorithms in the external memory model [Vit01]. In this model, the data is stored in blocks of a certain size B, and the algorithm is char...