Search Sciweavers | Sciweavers

We describe a new method for surface reconstruction based on unorganized point clouds without normals. We also present a new algorithm for reﬁning the inital triangulation. The o...

Boris Mederos, Luiz Velho, Luiz Henrique de Figuei...

claim paper

Read More »

175

click to vote

ACL2
2006
ACM

283views Computational Linguistics» more ACL2 2006»

Towards a formal theory of on chip communications in the ACL2 logic

15 years 10 months ago

Download www.ccs.neu.edu

Julien Schmaltz, Dominique Borrione

claim paper

Read More »

174

click to vote

ACL2
2006
ACM

239views Computational Linguistics» more ACL2 2006»

The ideal of verified software

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers