660 search results - page 110 / 132 » The Implicit Calculus of Constructions |
ICDM
2002
IEEE
14 years 1 months ago
2002
IEEE
Current Data Mining techniques usually do not have a mechanism to automatically infer semantic features inherent in the data being “mined”. The semantics are either injected i...
ICTAI
2002
IEEE
14 years 1 months ago
2002
IEEE
Data mining is the process of extracting implicit, valuable, and interesting information from large sets of data. Visualization is the process of visually exploring data for patte...
VVS
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes a fast algorithm for the volume conversion and rendering of CSG models constructed from both geometric and volumetric primitives. Using 3D texture mapping and...
PG
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we introduce a mesh approximation method that uses a volume-based metric. After a geometric simplification, we minimize the volume between the simplified mesh and th...
STACS
1992
Springer
14 years 26 days ago
1992
Springer
In this paper we give a practical and e cient output-sensitive algorithm for constructing the display of a polyhedral terrain. It runs in Od + nlog2 n time and uses On n space, wh...