Convex object based volume visualization: a formal proof and example.

Zou Qingsong Chee-Keong Kwoh Wan Sing Ng

Published in: Comput. Graph. (2001)

Keyphrases

formal proof
volume visualization
volume rendering
volume data
theorem prover
optical coherence tomography
ray casting
clinical setting
image processing
parallel programming
image sequences
cloud computing
graphics hardware