860 search results - page 53 / 172 » Lower Bounds on the Size of Test Data Sets |
JPDC
2008
13 years 7 months ago
2008
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, ...
FATES
2003
Springer
14 years 29 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
SYNTHESE
2008
13 years 7 months ago
2008
We consider the problems arising from using sequences of experiments to discover the causal structure among a set of variables, none of whom are known ahead of time to be an "...
EMMCVPR
2011
Springer
12 years 7 months ago
2011
Springer
In this work, we are concerned with the detection of multiple objects in an image. We demonstrate that typically applied objectives have the structure of a random field model, but...
SECON
2008
IEEE
14 years 2 months ago
2008
IEEE
— Previous results show that a node’s throughput scales poorly as the network size increases when every node has traffic. However, in many cases, only a fraction of nodes in l...