The activity of spatial collaboration involves solving spatial problems related to a large, physical area. Representing this area in collaboration software is not trivial. Radar v...
The Internet makes it possible to share information (e.g. text, image, audio, video and other formats of data) across the globe. In this paper we look at collaborative Internet en...
We describe the design and implementation of a Standard ML of New Jersey library for the interactive pretty-printing of possibly infinite syntax trees. The library handles elision ...
We present a new downsampling method for structured volume grids, which preserves much more of the topology of a scalar field than existing downsampling methods by preferably selec...
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
Kenneth Baclawski, Mieczyslaw M. Kokar, Jeffrey E....