1424 search results - page 115 / 285 » The Multi-radius Cover Problem |
155
Voted
ENTCS
2007
15 years 3 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
122
click to vote
SIGCSE
2008
ACM
15 years 3 months ago
2008
ACM
There are often problems when students enter a course with widely different experience levels with key course topics. If the material is covered too slowly, those with greater exp...
147
Voted
NETWORKS
2007
15 years 2 months ago
2007
We study the problem of designing a survivable WDM network based on covering the communication requests with subnetworks that are protected independently from each other. We consi...
147
Voted
ISAAC
2010
Springer
15 years 1 months ago
2010
Springer
We study the NP-complete TARGET SET SELECTION (TSS) problem occurring in social network analysis. Complementing results on its approximability and extending results for its restric...
138
Voted
SODA
2012
ACM
13 years 5 months ago
2012
ACM
We give a deterministic O(log n)n -time and space algorithm for the Shortest Vector Problem (SVP) of a lattice under any norm, improving on the previous best deterministic nO(n) -...