2686 search results - page 3 / 538 » Testing metric properties |
JMLR
2010
13 years 3 months ago
2010
A Hilbert space embedding for probability measures has recently been proposed, with applications including dimensionality reduction, homogeneity testing, and independence testing....
ICST
2009
IEEE
14 years 3 months ago
2009
IEEE
Unit testing component-based distributed systems traditionally involved testing functional concerns of the application logic throughout the development lifecycle. In contrast, tes...
SACMAT
2010
ACM
14 years 1 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
PASTE
2005
ACM
14 years 2 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
VISUAL
1999
Springer
14 years 24 days ago
1999
Springer
This paper gives an overview of shape dissimilarity measure properties, such as metric and robustness properties, and of retrieval performance measures. Fifteen shape similarity me...