We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...
Abstract. Phase correlation techniques have been used in image registration to estimate image displacements. These techniques have been also used to estimate optical ow by applying...
In order to understand some problems associated with workflow, we set out an analysis of workflow systems, identifying a number of basic issues in the underlying technology. This ...
Paul Dourish, Jim Holmes, Allan MacLean, Pernille ...
: A seven axis haptic device, called the Freedom-7, is described in relation to its application to surgical training. The generality of its concept makes it also relevant to most o...
Vincent Hayward, P. Gregorio, Oliver R. Astley, St...
Digital elevation models can represent many types of geographic data. One of the common digital elevation models is the triangulated irregular network also called TIN, or polyhed...