8437 search results - page 143 / 1688 » Preferences over Sets |
170
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
We use higher-order logic to verify a quantifier elimination procedure for linear arithmetic over ordered fields, where the coefficients of variables are multivariate polynomials o...
138
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We present a new probabilistic algorithm to find a finite set of points intersecting the closure of each connected component of the realization of every sign condition over a fami...
254
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Integration systems typically support only a restricted set of queries over the schema they export. The reason is that the participating information sources contribute limited con...
183
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we present a low-complexity traffic prioritization strategy for video transmission using the H.264 scalable video coding (SVC) standard over 802.11e wireless networ...
141
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Given an arbitrary network of interconnected nodes, each with an initial value from a discrete set, we consider the problem of distributively disseminating these initial values...