1511 search results - page 10 / 303 » Relational Parametricity for Computational Effects |
3DPVT
2006
IEEE
15 years 5 months ago
2006
IEEE
We present an approach for large-scale modeling of parametric surfaces using spherical harmonics (SHs). A standard least square fitting (LSF) method for SH expansion is not scala...
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Loop tiling is an important compiler transformation used for enhancing data locality and exploiting coarsegrained parallelism. Tiled codes in which tile sizes are runtime...
103
click to vote
FCT
2009
Springer
15 years 3 months ago
2009
Springer
Given a set P of natural numbers, we consider infinite games where the winning condition is a regular -language parametrized by P. In this context, an -word, representing a play, h...
107
click to vote
NIPS
2004
15 years 1 months ago
2004
In this paper, we propose a new method, Parametric Embedding (PE), for visualizing the posteriors estimated over a mixture model. PE simultaneously embeds both objects and their c...
117
click to vote
SI3D
2012
ACM
13 years 7 months ago
2012
ACM
A 4D parametric motion graph representation is presented for interactive animation from actor performance capture in a multiple camera studio. The representation is based on a 4D ...