2496 search results - page 459 / 500 » On covering by translates of a set |
145
click to vote
AMOST
2007
ACM
15 years 5 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
112
click to vote
COMSWARE
2007
IEEE
15 years 5 months ago
2007
IEEE
Migration to a converged network has caused service providers to deploy real time applications such as voice over an IP (VoIP) network. From the provider's perspective, the s...
COCO
2010
Springer
15 years 5 months ago
2010
Springer
—We prove new lower bounds in the area of property testing of boolean functions. Specifically, we study the problem of testing whether a boolean function f is isomorphic to a ...
142
click to vote
ICDCS
2007
IEEE
15 years 5 months ago
2007
IEEE
As a key approach to achieve energy efficiency in sensor networks, sensing coverage has been studied extensively. Researchers have designed many coverage protocols to provide vario...
118
click to vote
FOCS
2004
IEEE
15 years 5 months ago
2004
IEEE
We show that finding small solutions to random modular linear equations is at least as hard as approximating several lattice problems in the worst case within a factor almost line...