4850 search results - page 851 / 970 » Proof and Computation in Geometry |
221
click to vote
CL
2012
Springer
13 years 9 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
174
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Ricci flow is a powerful curvature flow method in geometric analysis. This work is the first application of surface Ricci flow in computer vision. We show that previous methods ba...
191
click to vote
SI3D
2009
ACM
16 years 1 months ago
2009
ACM
We introduce a straightforward, robust, and efficient algorithm for rendering high-quality soft shadows in dynamic scenes. Each frame, points in the scene visible from the eye ar...
172
click to vote
SMA
2009
ACM
16 years 29 days ago
2009
ACM
We present practical algorithms for accelerating geometric queries on models made of NURBS surfaces using programmable Graphics Processing Units (GPUs). We provide a generalized f...
164
click to vote
SI3D
2005
ACM
16 years 12 hour ago
2005
ACM
Blendshapes (linear shape interpolation models) are perhaps the most commonly employed technique in facial animation practice. A major problem in creating blendshape animation is ...