1687 search results - page 5 / 338 » Light Functional Interpretation |
VIS
2004
IEEE
14 years 9 months ago
2004
IEEE
HUC
2011
Springer
12 years 7 months ago
2011
Springer
In this paper, we describe LightWave, a sensing approach that turns ordinary compact fluorescent light (CFL) bulbs into sensors of human proximity. Unmodified CFL bulbs are shown ...
ICIP
2000
IEEE
14 years 9 months ago
2000
IEEE
Image based rendering using the plenoptic function is an efficient technique for re-rendering at different viewpoints. In this paper, we study the sampling and reconstruction prob...
LCC
1994
13 years 12 months ago
1994
We demonstrate program extraction by the Light Dialectica Interpretation (LDI) on a minimal logic proof of the classical existence of Fibonacci numbers. This semi-classical proof ...
FSTTCS
2005
Springer
14 years 1 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...