8874 search results - page 402 / 1775 » A New Implementation of Automath |
175
click to vote
WISE
2000
Springer
15 years 11 months ago
2000
Springer
Large scale web caches are in fact localized sources of web contents. Besides replacement policies, which decide the contents of a cache, the management of such contents is an iss...
168
click to vote
ASSETS
2000
ACM
15 years 11 months ago
2000
ACM
When blind people wish to walk through an area not fully known to them, they have to prepare themselves even more thoroughly than sighted pedestrians. We propose a new approach to...
160
click to vote
NPAR
2000
ACM
15 years 11 months ago
2000
ACM
In previous work [6], we presented an algorithm for rendering virtual scenes using art-based styles. We demonstrated the ability to render fur, grass, and trees in a stylized mann...
161
click to vote
VRML
2000
ACM
15 years 11 months ago
2000
ACM
In this paper we discuss the benefits of extending VRML by constraints and present a new way based on prototypes and scripting to implement this extension. Our approach is easy-t...
183
click to vote
DCW
2000
Springer
15 years 11 months ago
2000
Springer
Intensional Programming involves the programming of expressions placed in an inherent multidimensional context space. It is an emerging and highly dynamic domain of general applica...