Sciweavers

722 search results - page 145 / 145
» A New Framework for Computer Science and Engineering
Sort
View
SMI
2005
IEEE
111views Image Analysis» more  SMI 2005»
14 years 3 months ago
Rational Spherical Splines for Genus Zero Shape Modeling
Traditional approaches for modeling a closed manifold surface with either regular tensor-product or triangular splines (defined over an open planar domain) require decomposing th...
Ying He 0001, Xianfeng Gu, Hong Qin
PLDI
2012
ACM
12 years 7 days ago
Test-case reduction for C compiler bugs
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...
John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Ch...