4117 search results - page 134 / 824 » On the Satisfiability of Complex Constraints |
148
click to vote
IWQOS
2004
Springer
15 years 11 months ago
2004
Springer
— Equitable bandwidth allocation is essential when QoS requirements and purchasing power vary among users. To this end, we present a mechanism for bandwidth allocation based on d...
133
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
— Given a set of affine varieties in ℜ3, i.e. planes, lines, and points, the problem tackled in this paper is that of finding all possible configurations for these varieties...
172
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— To compute collision-free and dynamicallyfeasibile trajectories that satisfy high-level specifications given in a planning-domain definition language, this paper prop...
164
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Lambert's model is widely used in low level computer vision algorithms such as matching, tracking or optical flow computation for example. However, it is well known that thes...
188
click to vote
NIPS
2008
15 years 7 months ago
2008
This work characterizes the generalization ability of algorithms whose predictions are linear in the input vector. To this end, we provide sharp bounds for Rademacher and Gaussian...