3575 search results - page 363 / 715 » Modeling Concurrency with Geometry |
146
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
133
click to vote
ALT
2010
Springer
15 years 8 months ago
2010
Springer
We further develop the idea that the PAC-Bayes prior can be informed by the data-generating distribution. We prove sharp bounds for an existing framework of Gibbs algorithms, and ...
151
click to vote
WSCG
2004
15 years 8 months ago
2004
An algorithm for simulating wind-ripples and moving sand is extended by the detection of fixed objects. This permits us simulation and animation of sand interacting with objects l...
174
click to vote
SGP
2003
15 years 8 months ago
2003
In this paper we develop a new description for subdivision surfaces based on a graph grammar formalism. Subdivision schemes are specified by a context sensitive grammar in which ...
180
click to vote
VMV
2000
15 years 8 months ago
2000
In global illumination computations the photon map is a powerful tool for approximating the irradiance, which is stored independent from scene geometry. By presenting a new algori...