4099 search results - page 651 / 820 » A Framework for Interactive Proof |
161
click to vote
DAGM
2009
Springer
15 years 5 months ago
2009
Springer
In this paper we present a framework for computing depth images at interactive rates. Our approach is based on combining time-of-flight (TOF) range data with stereo vision. We use ...
152
click to vote
GCA
2008
15 years 5 months ago
2008
Grid technologies have enabled the aggregation of geographically distributed resources, in the context of a particular application. The network remains an important requirement for...
134
click to vote
APAL
2008
15 years 4 months ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....
131
click to vote
CGF
2008
15 years 4 months ago
2008
We present a real-time method for rendering a depth-of-field effect based on the per-pixel layered splatting where source pixels are scattered on one of the three layers of a dest...
125
click to vote
CONCURRENCY
2008
15 years 4 months ago
2008
We present a proposal for a next-generation Internet based on chargeable Web Services and Utility Computing realised by a series of open but interacting markets. We demonstrate thr...