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...
Business processes can be very large and may contain several different concerns, scattered across the process and tangled with other concerns. Crosscutting concerns are difficult t...
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 ...