1687 search results - page 101 / 338 » Light Functional Interpretation |
168
click to vote
VR
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a novel dynamic control of multiple focal-plane projections. Our approach multiplexes the projectors’ focal-planes so that all the displayed images are focus...
169
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
160
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The Tissue Microarray (TMA) facilitates high-throughput analysis of hundreds of tissue specimens simultaneously. However, bottlenecks in the storage and manipulation o...
185
click to vote
CADE
1990
Springer
15 years 10 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
155
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
The images of an outdoor scene collected over time are valuable in studying the scene appearance variation which can lead to novel applications and help enhance existing methods t...