Sciweavers

2951 search results - page 11 / 591
» Cloud Computing for Linguists
Sort
View
SIBGRAPI
2003
IEEE
15 years 2 months ago
Moving Least Squares Multiresolution Surface Approximation
We describe a new method for surface reconstruction based on unorganized point clouds without normals. We also present a new algorithm for refining the inital triangulation. The o...
Boris Mederos, Luiz Velho, Luiz Henrique de Figuei...
111
Voted
ACL2
2006
ACM
15 years 3 months ago
Towards a formal theory of on chip communications in the ACL2 logic
Julien Schmaltz, Dominique Borrione
105
Voted
ACL2
2006
ACM
15 years 1 months ago
The ideal of verified software
Tony Hoare