388 search results - page 60 / 78 » Guiding random test generation with program analysis |
MICCAI
2007
Springer
14 years 9 months ago
2007
Springer
This paper introduces a new benchmark study of evaluating landmark-based shape correspondence used for statistical shape analysis. Different from previous shape-correspondence eval...
ECCV
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. The estimation of the epipolar geometry is especially difficult where the putative correspondences include a low percentage of inlier correspondences and/or a large subse...
CC
2003
Springer
14 years 2 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
PASTE
2010
ACM
14 years 1 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...
BMCBI
2006
13 years 9 months ago
2006
Background: With the advent of metabolomics as a powerful tool for both functional and biomarker discovery, the identification of specific differences between complex metabolite p...