16404 search results - page 39 / 3281 » A set coverage problem |
133
Voted
ALGOSENSORS
2007
Springer
15 years 4 months ago
2007
Springer
We study the problem of localizing and tracking multiple moving targets in wireless sensor networks, from a network design perspective i.e. towards estimating the least possible n...
114
click to vote
FASE
2005
Springer
15 years 6 months ago
2005
Springer
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that a...
113
Voted
CHARME
2003
Springer
15 years 4 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
LWA
2004
15 years 1 months ago
2004
This paper reports first results of an empirical study of the precision of classification rules on an independent test set. We generated a large number of rules using a general co...
117
click to vote
ICST
2011
IEEE
14 years 4 months ago
2011
IEEE
—A known problem of traditional coverage metrics is that they do not assess oracle quality—that is, whether the computation result is actually checked against expectations. In ...