1717 search results - page 116 / 344 » A Computable Spectral Theorem |
130
click to vote
RT
2001
Springer
15 years 9 months ago
2001
Springer
We propose a practicable way to include both polarization and fluorescence effects in a rendering system at the same time. Previous research in this direction only demonstrated s...
110
click to vote
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, we propose a prism-based system for capturing multispectral videos. The system consists of a triangular prism, a monochrome camera, and an occlusion mask. Incoming ...
143
click to vote
TPHOL
2005
IEEE
15 years 10 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...
133
click to vote
MM
2004
ACM
15 years 10 months ago
2004
ACM
It is important and challenging to make the growing image repositories easy to search and browse. Image clustering is a technique that helps in several ways, including image data ...
150
click to vote
IDA
2002
Springer
15 years 4 months ago
2002
Springer
The ability to identify the mineral composition of rocks and soils is an important tool for the exploration of geological sites. Even though expert knowledge is commonly used for t...