Sciweavers

4190 search results - page 368 / 838
» Type Class Directives
Sort
View
LCPC
1999
Springer
15 years 10 months ago
Language Support for Pipelining Wavefront Computations
Wavefront computations, characterized by a data dependent flow of computation across a data space, are receiving increasing attention as an important class of parallel computation...
Bradford L. Chamberlain, E. Christopher Lewis, Law...
RT
1999
Springer
15 years 10 months ago
Image-Based BRDF Measurement Including Human Skin
: We present a new image-based process for measuring the bidirectional reflectance of homogeneous surfaces rapidly, completely, and accurately. For simple sample shapes (spheres a...
Stephen R. Marschner, Stephen H. Westin, Eric P. L...
TPHOL
1998
IEEE
15 years 10 months ago
Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
Wolfgang Naraschewski, Markus Wenzel
ICGI
1998
Springer
15 years 10 months ago
Learning Stochastic Finite Automata from Experts
We present in this paper a new learning problem called learning distributions from experts. In the case we study the experts are stochastic deterministic finite automata (sdfa). W...
Colin de la Higuera
RT
1998
Springer
15 years 10 months ago
A New Change of Variables for Efficient BRDF Representation
We describe an idea for making decomposition of Bidirectional Reflectance Distribution Functions into basis functions more efficient, by performing a change-of-variables transform...
Szymon Rusinkiewicz