3575 search results - page 47 / 715 » Presentations of computably enumerable reals |
138
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations...
167
click to vote
RT
2001
Springer
15 years 10 months ago
2001
Springer
We describe a new paradigm for three-dimensional computer graphics, using projectors to graphically animate physical objects in the real world. The idea is to replace a physical o...
170
click to vote
RTCSA
2009
IEEE
16 years 25 days ago
2009
IEEE
Soft real-time sporadic multiprocessor task systems are considered that include processing pipelines. Conditions are presented for guaranteeing bounded deadline tardiness in such ...
145
click to vote
ACMACE
2008
ACM
15 years 8 months ago
2008
ACM
Though often desirable, the integration of real and virtual elements in mixed reality environments can be difficult. We propose a number of techniques to facilitate scene explorat...
163
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. We present a general method for the computation of PDFbased characteristics of the tissue micro-architecture in MR imaging. The approach relies on the approximation of th...