498 search results - page 91 / 100 » An algorithm to solve integer linear systems exactly using n... |
128
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
The problem of production and delivery lot-sizing and scheduling of set of items in a two-echelon supply chain over a finite planning horizon is addressed in this paper. A single ...
101
Voted
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
Numerical methods for solving the systems of partial differential equations arising in geophysical fluid dynamics rely on a variety of spatial discretization schemes (e.g. finit...
126
click to vote
CVPR
2006
IEEE
16 years 4 months ago
2006
IEEE
We propose a novel method for tracking an articulated model in a 3D-point cloud. The tracking problem is formulated as the registration of two point sets, one of them parameterise...
139
Voted
CADE
2005
Springer
16 years 2 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
138
click to vote
CVPR
1998
IEEE
15 years 6 months ago
1998
IEEE
Image mosaics are useful for a variety of tasks in vision and computer graphics. A particularly convenient way to generate mosaics is by `stitching' together many ordinary ph...