1090 search results - page 77 / 218 » Type-Directed Partial Evaluation |
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Infinite-horizon multi-agent control processes with nondeterminism and partial state knowledge have particularly interesting properties with respect to adaptive control, ...
MICRO
2000
IEEE
13 years 7 months ago
2000
IEEE
level of abstraction, compared with the program representation for scalar optimizations. For example, loop unrolling and loop unrolland-jam transformations exploit the large regist...
MICCAI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In order to evaluate the quality of segmentations of an image and assess intra- and inter-expert variability in segmentation performance, an Expectation Maximization (EM)...
Publication
When appearance variation of object and its background, partial occlusion or deterioration in object
images occurs, most existing visual tracking methods tend to fail in tracking ...
BMCBI
2011
13 years 2 months ago
2011
Background: Receiver operating characteristic (ROC) curves are useful tools to evaluate classifiers in biomedical and bioinformatics applications. However, conclusions are often r...