Towards the theory and practice of verifying visualizations

作者： Tiago Etiene Queiroz

DOI:

关键词:

摘要:

暂无可下载资源，当前可以选择系统获取到有开放资源时通知我或者直接发起求助文献求助

参考文章(151)

Andreas Pommert, Karl Heinz Höhne, Evaluation of Image Quality in Medical Volume Visualization: The State of the Art medical image computing and computer assisted intervention. pp. 598- 605 ,(2002) , 10.1007/3-540-45787-9_75

Bruno Jobard, Wilfrid Lefer, Multiresolution flow visualization WSCG (Posters). pp. 34- 35 ,(2001)

E Chernyaev, Marching cubes 33 : construction of topologically correct isosurfaces ,(1995)

Hamish Carr, Jack Snoeyink, Representing Interpolant Topology for Contour Tree Computation 2nd International Workshop on Topological Methods in Visualization, 2007. pp. 59- 73 ,(2009) , 10.1007/978-3-540-88606-8_5

Lis Custodio, Tiago Etiene, Sinesio Pesco, Claudio Silva, Practical considerations on Marching Cubes 33 topological correctness Computers & Graphics. ,vol. 37, pp. 840- 850 ,(2013) , 10.1016/J.CAG.2013.04.004

Václav Skala, Jan Patera, A comparison of fundamental methods for ISO surface extraction Machine Graphics & Vision International Journal archive. ,vol. 13, pp. 329- 343 ,(2004)

Samuel Silva, Beatriz Sousa Santos, Joaquim Madeira, Using color in visualization: A survey Computers & Graphics. ,vol. 35, pp. 320- 333 ,(2011) , 10.1016/J.CAG.2010.11.015

Mark Goresky, Robert MacPherson, Stratified Morse theory ,(1988)

Carl Seger, An Introduction to Formal Hardware Verification University of British Columbia. ,(1992)

Anders Ynnerman, Patric Ljung, Claes Lundström, Multiresolution interblock interpolation in direct volume rendering ieee vgtc conference on visualization. pp. 259- 266 ,(2006) , 10.2312/VISSYM/EUROVIS06/259-266