1984 search results - page 296 / 397 » Variable mesh optimization for continuous optimization probl... |
154
click to vote
WWW
2011
ACM
14 years 9 months ago
2011
ACM
Auctions are widely used on the Web. Applications range from internet advertising to platforms such as eBay. In most of these applications the auctions in use are single/multi-ite...
144
click to vote
ECCV
2002
Springer
16 years 4 months ago
2002
Springer
In the last few years, several new algorithms based on graph cuts have been developed to solve energy minimization problems in computer vision. Each of these techniques constructs...
220
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
We introduce lock allocation, an automatic technique that takes a multi-threaded program annotated with atomic sections (that must be executed atomically), and infers a lock assig...
104
Voted
CCGRID
2008
IEEE
15 years 9 months ago
2008
IEEE
—We formulate the service composition problem as a multi-objective stochastic program which simultaneously optimizes the following quality of service (QoS) parameters: workflow ...
129
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...