972 search results - page 50 / 195 » Intersection types and computational effects |
219
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
120
click to vote
VISUALIZATION
1996
IEEE
15 years 7 months ago
1996
IEEE
A general volume rendering technique is described that efficiently produces images of excellent quality from data defined over irregular grids having a wide variety of formats. Re...
134
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
This paper describes a photometric stereo method that works with a wide range of surface reflectances. Unlike previous approaches that assume simple parametric models such as Lam...
146
click to vote
SIGGRAPH
1994
ACM
15 years 7 months ago
1994
ACM
This paper describes the design and implementation of IRIS Performer, a toolkit for visual simulation, virtual reality, and other real-time 3D graphics applications. The principal...
221
click to vote
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
We identify and formalize a novel join operator for two spatial pointsets P and Q. The common influence join (CIJ) returns the pairs of points (p, q), p P, q Q, such that there e...