85 search results - page 1 / 17 » Error Explanation with Distance Metrics |
TACAS
2004
Springer
14 years 4 days 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
14 years 6 days 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 8 months ago
2007
CHI
2003
ACM
14 years 7 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 6 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...