3224 search results - page 101 / 645 » Abstract Error Projection |
178
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
In central catadioptric systems, lines in a scene are projected to conic curves in the image. This work studies the geometry of the central catadioptric projection of lines and its...
107
click to vote
DATE
2008
IEEE
16 years 22 days ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
164
click to vote
SIAMMAX
2010
15 years 1 months ago
2010
It is well-known that two-level and multi-level preconditioned conjugate gradient (PCG) methods provide efficient techniques for solving large and sparse linear systems whose coeff...
163
click to vote
DFT
2007
IEEE
16 years 19 days ago
2007
IEEE
We introduce a reliable memory system that can tolerate multiple transient errors in the memory words as well as transient errors in the encoder and decoder (corrector) circuitry....
250
click to vote
IAW
2003
IEEE
15 years 11 months ago
2003
IEEE
— Vulnerabilities in software stem from poorly written code. Inadvertent errors may creep in due to programmers not being aware of the security implications of their code. Writin...