4117 search results - page 201 / 824 » On the Satisfiability of Complex Constraints |
227
click to vote
TCSV
2010
15 years 1 months ago
2010
Abstract--Most existing works on routing for video transmission over multihop wireless networks only focus on how to satisfy the network-oriented quality-of-service (QoS), such as ...
195
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
Web applications have now become so sophisticated that rendering a typical page may require hundreds of intra-datacenter flows. At the same time, web sites must meet strict page ...
140
click to vote
SWAT
1998
Springer
15 years 10 months ago
1998
Springer
We study the complexity of the motion planning problem for a bounded-reach robot in the situation where the n obstacles in its workspace satisfy two of the realistic models propos...
135
click to vote
IPL
2008
15 years 6 months ago
2008
We extend Lutz's resource-bounded measure to probabilistic classes, and obtain notions of resource-bounded measure on probabilistic complexity classes such as BPE and BPEXP. ...
164
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology nee...