4266 search results - page 319 / 854 » The container loading problem |
135
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Mobile ad-hoc networks (MANETs) usually contain sparse or even empty regions called holes. The local optimum problem will occur when routing packets meet holes in the network. I...
138
click to vote
ISMVL
2009
IEEE
15 years 11 months ago
2009
IEEE
For formal verification of hardware Satisfiability Modulo Theory (SMT) solvers are increasingly applied. Today’s state-of-the-art SMT solvers use different techniques like ter...
132
click to vote
DAGM
2009
Springer
15 years 11 months ago
2009
Springer
Real-world image sequences (e.g., recorded for vision-based driver assistance) are typically degraded by various types of noise, changes in lighting, out-of-focus lenses, differin...
132
click to vote
CIDM
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper introduces a novel method, GAIS, for detecting interleaved sequential patterns from databases. A case, where data is of low quality and has errors is considered. Pat...
145
click to vote
ISVD
2007
IEEE
15 years 11 months ago
2007
IEEE
We consider the problem of computing the time convex hull of a set of points in the presence of a straight-line highway in the plane. The traveling speed in the plane is assumed t...