3224 search results - page 41 / 645 » Abstract Error Projection |
102
click to vote
HUC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Many existing localization systems generate location predictions, but fail to report how accurate the predictions are. This paper explores the effect of revealing the er...
140
click to vote
DFT
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— This paper proposes the control of monomer concentration as a novel improvement of the kinetic Tile Assembly Model (kTAM) to reduce the error rate in DNA selfassembly. ...
104
click to vote
MP
2006
15 years 2 months ago
2006
Abstract We give new error bounds for the linear complementarity problem where the involved matrix is a P-matrix. Computation of rigorous error bounds can be turned into a P-matrix...
128
click to vote
TACAS
2004
Springer
15 years 7 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 ...
MKM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The disambiguation approach to the input of formulae enables the user to type correct formulae in a terse syntax close to the usual ambiguous mathematical notation. When ...