85 search results - page 1 / 17 » Error Explanation with Distance Metrics |
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
CAV
2004
Springer
13 years 10 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
ACSW
2007
13 years 6 months ago
2007
CHI
2003
ACM
14 years 5 months ago
2003
ACM
We describe and identify shortcomings in two statistics recently introduced to measure accuracy in text entry evaluations: the minimum string distance (MSD) error rate and keystro...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
It is shown that the error control problem in random network coding can be reformulated as a generalized decoding problem for rank-metric codes. This result allows many of the too...