117 search results - page 14 / 24 » Characterization of polyhedron monotonicity |
CCIA
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, thi...
150
click to vote
SIGMOD
2007
ACM
15 years 10 months ago
2007
ACM
The family of threshold algorithm (i.e., TA) has been widely studied for efficiently computing top-k queries. TA uses a sort-merge framework that assumes data lists are pre-sorted...
FOSSACS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
VALUETOOLS
2006
ACM
15 years 3 months ago
2006
ACM
We examine the stability of multi-class queueing systems with the special feature that the service rates of the various classes depend on the number of users present of each of th...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— This paper studies robotic sensor networks performing coverage optimization tasks with area constraints. The network coverage of the environment is a function of the ro...