Abstract. We describe a virtual reality application for visualizing tensorvalued volume data acquired with diffusion tensor magnetic resonance imaging (DT-MRI). We have prototyped...
Although the archive of text generated by a persistent conversation (i.e. newsgroup, mailing list, recorded chat, etc.) is searchable, it is not very expressive of the underlying ...
Judith S. Donath, Karrie Karahalios, Fernanda B. V...
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
3D interactive modeling from range data aims at simultaneously producing and visualizing the surface model of an object while data is collected. The current research challenge is ...
Modeling complex organs, such as the human heart, requires a detailed understanding of the geometric and mechanical properties of that organ. Similarly, the model is only as accur...