2735 search results - page 286 / 547 » Generalized Displacement Maps |
195
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
211
click to vote
CCCG
2009
15 years 7 months ago
2009
In this paper we study the problem of computing an upward straight-line embedding of a directed graph G into a point set S, i.e. a planar drawing of G such that each vertex is map...
206
click to vote
DGO
2009
15 years 7 months ago
2009
In this paper we present a new approach to monitor noise pollution involving citizens and built upon the notions of participatory sensing and citizen science. We enable citizens t...
135
click to vote
BC
2008
15 years 6 months ago
2008
The population vector code relates directional tuning of single cells and global, directional motion incited by an assembly of neurons. In this paper three things are done. First, ...
176
click to vote
CGF
2008
15 years 6 months ago
2008
We present a generalization of thin-plate splines for interpolation and approximation of manifold-valued data, and demonstrate its usefulness in computer graphics with several app...