A Refinement Approach to Visualization* Allen Goldberg Rafael Furst Cordell Green Kestrel Institute 3260 Hillview Ave

First Page		Document Content
Date: 2012-08-08 19:10:59 Computing Data types Software engineering Type theory Mathematics Rendering Const Record Integer Tagged union Tuple Type system		A Refinement Approach to Visualization* Allen Goldberg Rafael Furst Cordell Green Kestrel Institute 3260 Hillview Ave Add to Reading List Source URL: www.kestrel.edu Download Document from Source Website File Size: 138,94 KB Share Document on Facebook

	A Wireless Software Architecture for Fast 3D Rendering of Agent-Based Multimedia Simulations on Portable Devices S. Cacciaguerra, M. Roccetti, M. Roffilli A. Lomi DocID: 1xTyT - View Document
	1 l 2 lA weekly publication of Newport News Shipbuilding An artistic rendering of a Columbia-class submarine at sea. Courtesy of the U.S. Navy DocID: 1vrkY - View Document
$NICOGRAPH InternationalReal-Time Screen-Space Liquid Rendering with Two-Sided Refractions Takuya Imai$	NICOGRAPH InternationalReal-Time Screen-Space Liquid Rendering with Two-Sided Refractions Takuya Imai DocID: 1vnph - View Document
	Real-Time Skin Rendering on Graphics Hardware Pedro V. Sander* David Gosselin† Jason L. Mitchell‡ DocID: 1vhPr - View Document
	MathML Samples AH Formatter renders “Mathematical Markup Language (MathML) Version 3.0” as defined by the W3C using its custom “AH Formatter MathML rendering engine”. Please format this sample with AH Formatter V DocID: 1va30 - View Document