2593 search results - page 317 / 519 » constraints 2007 |
172
click to vote
EOR
2007
15 years 6 months ago
2007
The knapsack problem (KP) is generalized to the case where items are partially ordered through a set of precedence relations. As in ordinary KPs, each item is associated with proļ...
149
click to vote
EOR
2007
15 years 6 months ago
2007
This paper considers the problem of locating M facilities on the unit square so as to minimize the maximal demand faced by each facility subject to closest assignments and coverag...
168
click to vote
FUIN
2007
15 years 6 months ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
116
click to vote
IJMC
2007
15 years 6 months ago
2007
: The paper deals with wireless data services and their importance in the enterprise world. Provisioning in difficult-to-reach areas of tall buildings is challenging. To extend cov...
142
click to vote
JAPLL
2007
15 years 6 months ago
2007
We propose a novel method of determining the appropriateness of an answer to a question through a proof of logical relevance rather than a logical proof of truth. We deļ¬ne logic...