489 search results - page 29 / 98 » Computing robust basestock levels |
BMVC
1998
13 years 11 months ago
1998
A highly successful active contour implementation, for the automatic segmentation of cervical cell nuclei, is shown to lend itself well to a framework that further increases its s...
ICCS
2003
Springer
14 years 3 months ago
2003
Springer
As computer systems grow in size and complexity, tool support is needed to facilitate the efficient mapping of large-scale applications onto these systems. To help achieve this ma...
ICCV
2011
IEEE
12 years 10 months ago
2011
IEEE
We use temporally sequenced flash illumination to capture coded exposure images of fast-moving objects in low light environments. These coded flash images allow for accurate est...
ICCD
2000
IEEE
14 years 1 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
CODES
2010
IEEE
13 years 8 months ago
2010
IEEE
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...