12015 search results - page 2213 / 2403 » Interactive Algorithms 2005 |
SSDBM
2005
IEEE
14 years 4 months ago
2005
IEEE
As with many large organizations, the Government's data is split in many different ways and is collected at different times by different people. The resulting massive data he...
TPHOL
2005
IEEE
14 years 4 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...
VISUALIZATION
2005
IEEE
14 years 4 months ago
2005
IEEE
Topological concepts and techniques have been broadly applied in computer graphics and geometric modeling. However, the homotopy type of a mapping between two surfaces has not bee...
VISUALIZATION
2005
IEEE
14 years 4 months ago
2005
IEEE
Recent years have seen an immense increase in the complexity of geometric data sets. Today’s gigabyte-sized polygon models can no longer be completely loaded into the main memor...
VISUALIZATION
2005
IEEE
14 years 4 months ago
2005
IEEE
We present a practical and general-purpose approach to large and complex visual data analysis where visualization processing, rendering and subsequent human interpretation is cons...