Sciweavers

4615 search results - page 632 / 923
» Virtual Classes and Their Implementation
Sort
View
PPDP
2000
Springer
15 years 10 months ago
A model for comparing the space usage of lazy evaluators
Identifying the source of space faults in functional programs is hard. The problem is compoundedas space usage can vary enormously from one implementation to another. We use a ter...
Adam Bakewell, Colin Runciman
RT
2000
Springer
15 years 10 months ago
Metropolis Light Transport for Participating Media
Abstract. In this paper we show how Metropolis Light Transport can be extended both in the underlying theoretical framework and the algorithmic implementation to incorporate volume...
Mark Pauly, Thomas Kollig, Alexander Keller
AFP
1995
Springer
126views Formal Methods» more  AFP 1995»
15 years 10 months ago
Functional Programming with Overloading and Higher-Order Polymorphism
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
Mark P. Jones
188
Voted
SIBGRAPI
2000
IEEE
15 years 10 months ago
Ray Path Categorization
Edge detection and image segmentation algorithms usually operate on an image to extract geometrical information based on pixel colors. For ray-traced images, the presence of geomet...
Diego Nehab, Marcelo Gattass
ICSC
1995
Springer
15 years 10 months ago
Fast Resampling Using Vector Quantization
Abstract. We present a fast resampling scheme using vector quantization. Our method di ers from prior work applying vector quantization to speeding up image and volume processing i...
Patrick C. Teo, Chase D. Garfinkle