5012 search results - page 574 / 1003 » Distributed Error Correction |
188
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
In this paper we derive formal constraints relating terrain elevation and observed cast shadows. We show how an optimisation framework can be used to refine surface estimates usin...
178
click to vote
ISPW
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract. Explicitly defining a software process model is widely recognized as a good software engineering practice. However, having a defined process does not necessarily mean tha...
177
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...
163
click to vote
DFT
1999
IEEE
15 years 11 months ago
1999
IEEE
A programmable single-chip multiprocessor system for video coding has been developed. The system is implemented in a high-performance 0.25 m logic/embedded DRAM process. It integr...
219
click to vote
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a method of stereo image composition for video see-through augmented reality. In order to implement an augmented reality system, we must acquire the position ...