1687 search results - page 5 / 338 » Light Functional Interpretation |
VIS
2004
IEEE
15 years 10 months ago
2004
IEEE
77
Voted
HUC
2011
Springer
13 years 9 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
15 years 11 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...
86
Voted
LCC
1994
15 years 1 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
15 years 3 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...