4266 search results - page 551 / 854 » The container loading problem |
166
click to vote
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
Combining information from the higher level and the lower level has long been recognized as an essential component in holistic image understanding. However, an efficient inferenc...
136
click to vote
COMGEO
2011
ACM
14 years 9 months ago
2011
ACM
For a set of n points in the plane, we consider the axis–aligned (p, k)-Box Covering problem: Find p axis-aligned, pairwise-disjoint boxes that together contain at least n − k...
123
click to vote
NFM
2011
14 years 9 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
130
click to vote
SIAMSC
2011
14 years 9 months ago
2011
Abstract. Radial basis function (RBF) approximation is an extremely powerful tool for representing smooth functions in non-trivial geometries, since the method is meshfree and can ...
132
Voted
SIAMDM
2010
14 years 9 months ago
2010
The following problem was introduced by Marcin Krzywkowski as a generalization of a problem of Todd Ebert. After initially coordinating a strategy, n players each occupy a differe...