2686 search results - page 51 / 538 » Testing metric properties |
CSR
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...
BMCBI
2008
13 years 10 months ago
2008
Background: Currently, there is a gap between purely theoretical studies of the topology of large bioregulatory networks and the practical traditions and interests of experimental...
ICSM
2007
IEEE
14 years 4 months ago
2007
IEEE
Test suite reduction seeks to reduce the number of test cases in a test suite while retaining a high percentage of the original suite’s fault detection effectiveness. Most appro...
ICIP
2008
IEEE
14 years 4 months ago
2008
IEEE
The interest in objective quality assessment have significantly increased over the past decades. Several objective quality metrics have been proposed and made publicly available,...
INFOVIS
1997
IEEE
14 years 2 months ago
1997
IEEE
Metrics for information visualization will help designers create and evaluate 3D information visualizations. Based on experience from 60+ 3D information visualizations, the metric...