3096 search results - page 362 / 620 » The Generalized FITC Approximation |
172
click to vote
TYPES
1999
Springer
15 years 10 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
158
click to vote
SMA
1997
ACM
15 years 10 months ago
1997
ACM
Much of recent research in representation schemes for solid modeling was focused on the extension of boundary representations to support non-manifold topologies. We introduce here...
200
click to vote
FSE
1997
Springer
15 years 10 months ago
1997
Springer
Matsui's linear cryptanalysis for iterated block ciphers is generalized to an attack called. This attack exploits a weakness that can be described by an e ective partition-pa...
166
click to vote
RT
1997
Springer
15 years 10 months ago
1997
Springer
: Realistic image synthesis research involves the simulation of visible light propagation within an environment with a view to computing an image that evokes a similar visual respo...
192
click to vote
RT
1997
Springer
15 years 10 months ago
1997
Springer
Global illumination simulates all transfers of light in a scene. The results of the simulation are then used to generate photo-realistic images. Scenes with diffuse surfaces only c...