1281 search results - page 199 / 257 » Interactive artistic rendering |
CADE
2000
Springer
14 years 2 months ago
2000
Springer
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
VR
1999
IEEE
14 years 2 months ago
1999
IEEE
A voxel-based terrain visualization system is presented with real-time performance on general-purpose graphics multiprocessor workstations. Ray casting of antialiased 3D volume te...
VISUALIZATION
1997
IEEE
14 years 2 months ago
1997
IEEE
Triangle decimation techniques reduce the number of triangles in a mesh, typically to improve interactive rendering performance or reduce data storage and transmission requirement...
ICDE
1994
IEEE
14 years 2 months ago
1994
IEEE
We describe the design and implementation of QBISM (Query By Interactive, Spatial Multimedia), a prototype for querying and visualizing 3D spatial data. Our first application is i...
MICCAI
2000
Springer
14 years 1 months ago
2000
Springer
We describe a new magnetic resonance (MR) image analysis tool that produces cortical surface representations with spherical topology from MR images of the human brain. The tool pr...