26 search results - page 1 / 6 » Metric Spaces and Termination Analyses |
APLAS
2010
ACM
13 years 2 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
TCS
1998
13 years 4 months ago
1998
ICASSP
2011
IEEE
12 years 8 months ago
2011
IEEE
One of central topics of kernel machines in the field of machine learning is a model selection, especially a selection of a kernel or its parameters. In our previous work, we dis...
IJHPCN
2008
13 years 4 months ago
2008
: We propose a set of statistical metrics for making a comprehensive, fair, and insightful evaluation of features, clustering algorithms, and distance measures in representative sa...
VISSOFT
2002
IEEE
13 years 9 months ago
2002
IEEE
In this paper a new approach for a metrics based software visualization is presented which supports an efficient and effective quality assessment of large object-oriented software...