Sciweavers

2043 search results - page 201 / 409
» Some Basics on Tolerances
Sort
View
POPL
1997
ACM
15 years 10 months ago
Behavioral Equivalence in the Polymorphic Pi-calculus
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...
Benjamin C. Pierce, Davide Sangiorgi
ICIAP
1997
ACM
15 years 10 months ago
Estimating Translation/Deformation Motion through Phase Correlation
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...
Filiberto Pla, Miroslaw Bober
CSCW
1996
ACM
15 years 10 months ago
Freeflow: Mediating Between Representation and Action in Workflow Systems
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 ...
ISER
1997
Springer
95views Robotics» more  ISER 1997»
15 years 10 months ago
FREEDOM-7: A High Fidelity Seven Axis Haptic Device with Application to Surgical Training
: 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...
SOFSEM
1997
Springer
15 years 10 months ago
Algorithms for Triangulated Terrains
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...
Marc J. van Kreveld