1237 search results - page 173 / 248 » Strictness and Totality Analysis |
223
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: High-throughput functional genomics technologies generate large amount of data with hundreds or thousands of measurements per sample. The number of sample is usually m...
156
click to vote
ECCV
2000
Springer
16 years 7 months ago
2000
Springer
Extending a differential total least squares method for range flow estimation we present an iterative regularisation approach to compute dense range flow fields. We demonstrate how...
131
click to vote
ICIP
2005
IEEE
16 years 7 months ago
2005
IEEE
Binary segmentation, a problem of extracting foreground objects from the background, often arises in medical imaging and document processing. Popular existing solutions include Ex...
177
click to vote
DAC
2009
ACM
16 years 6 months ago
2009
ACM
Caches are notorious for their unpredictability. It is difficult or even impossible to predict if a memory access will result in a definite cache hit or miss. This unpredictabilit...
129
click to vote
ICSE
2009
IEEE-ACM
16 years 6 months ago
2009
IEEE-ACM
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...