1424 search results - page 162 / 285 » The Multi-radius Cover Problem |
122
click to vote
ENTCS
2006
15 years 3 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
101
click to vote
CONSTRAINTS
2007
15 years 3 months ago
2007
SAT is probably one of the most-studied constraint satisfaction problems. In this paper, a new hybrid technique based on local search is introduced in order to approximate and ext...
137
click to vote
DKE
2007
15 years 3 months ago
2007
XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The considered XPath f...
128
click to vote
JNW
2006
15 years 3 months ago
2006
Tracking of mobile targets is an important application of sensor networks. This is a non-trivial problem as the increased accuracy of tracking results in an overall reduction in th...
EOR
2007
15 years 3 months ago
2007
Capacity effects are investigated, particularly as regards congestion of facilities with immobile (or fixed) servers. A review is given of research to date in this area, togethe...