1982 search results - page 219 / 397 » Parametricity and dependent types |
149
click to vote
VISUALIZATION
2000
IEEE
15 years 10 months ago
2000
IEEE
A new multiscale method in surface processing is presented here which combines the image processing methodology based on nonlinear diffusion equations and the theory of geometric ...
159
click to vote
ARITH
1999
IEEE
15 years 10 months ago
1999
IEEE
A digit-recurrence algorithm for computing the Euclidean norm of a 3-dimensional vector is proposed. Starting from the vector component with the highest order of magnitude as the ...
148
click to vote
APCHI
1998
IEEE
15 years 10 months ago
1998
IEEE
Direct manipulation interfaces are characterised according to the representation of the task domain: the domain objects and the effect of user operations on those objects. In the ...
177
click to vote
RT
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The appearance of many natural materials is largely influenced by the environment in which they are situated. Capturing the effects of such environmental factors is esse...
154
click to vote
PLDI
1998
ACM
15 years 10 months ago
1998
ACM
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...