1424 search results - page 71 / 285 » The Multi-radius Cover Problem |
98
Voted
CONCUR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
103
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
89
Voted
CCCG
2010
15 years 2 months ago
2010
We prove that any finite set of half-planes can be colored by two colors so that every point of the plane, which belongs to at least three half-planes in the set, is covered by ha...
76
Voted
COR
2006
15 years 25 days ago
2006
This paper is concerned with extending models for the maximal covering location problem in two ways. First, the usual 0
92
Voted
ECCC
2006
15 years 25 days ago
2006
In our problem we are given a set of customers, their positions on the plane and their demands. Geometrically, the area covered by a directional antenna with parameters , ,