4850 search results - page 206 / 970 » Proof and Computation in Geometry |
141
click to vote
COMGEO
2004
ACM
15 years 6 months ago
2004
ACM
ded abstract of this chapter appeared as: Herman J. Haverkort, Mark de Berg and Joachim Gudmundsson: Box-trees for collision checking in industrial installations, in Proc. 18th ACM...
196
click to vote
CGA
2000
15 years 6 months ago
2000
ing graphics from reality as among the top ten challenges in computer graphics while Cohen [4] argues computer graphics real role is to enable imagination amplification beyond real...
176
click to vote
TAMC
2009
Springer
16 years 1 months ago
2009
Springer
We study a new model of computation called stream checking on graph problems where a space-limited verifier has to verify a proof sequentially (i.e., it reads the proof as a strea...
172
click to vote
WABI
2001
Springer
15 years 11 months ago
2001
Springer
We develop fast algorithms for computing the linking number of a simplicial complex within a filtration. We give experimental results in applying our work toward the detection of...
183
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. With the rapid development of fast data acquisition techniques, 3D scans that record the geometric and photometric information of deformable objects are routinely acquire...