Sciweavers

18155 search results - page 333 / 3631

» Point

173

CAGD
2010

215views more CAGD 2010»

Surface fitting and registration of point clouds using approximations of the unsigned distance function

15 years 7 months ago

Surface fitting and registration of point clouds using approximations of the unsigned distance function

Download www.geometrie.tuwien.ac.at

Many problems in computer aided geometric design and geometry processing are stated as least

Simon Flöry, Michael Hofer

claim paper

Read More »

143

CAD
2008
Springer

102views Theoretical Computer Science» more CAD 2008»

Manifold splines with a single extraordinary point

15 years 7 months ago

Manifold splines with a single extraordinary point

Download www.cs.sunysb.edu

Xianfeng Gu, Ying He 0001, Miao Jin, Feng Luo 0002...

claim paper

Read More »

139

CJ
2010

80views more CJ 2010»

Verifying a Synthesized Implementation of IEEE-754 Floating-Point Exponential Function using HOL

15 years 7 months ago

Verifying a Synthesized Implementation of IEEE-754 Floating-Point Exponential Function using HOL

Download hvg.ece.concordia.ca

rder logic (HOL) theorem prover. The high ability of abstraction in the HOL verification system allows its use for the verification task over the whole design path of the circuit, ...

Behzad Akbarpour, Amr T. Abdel-Hamid, Sofiè...

claim paper

Read More »

124

CCE
2008

105views Software Engineering» more CCE 2008»

Distillation pinch points and more

15 years 7 months ago

Distillation pinch points and more

Download cepac.cheme.cmu.edu

Angelo Lucia, Amit Amale, Ross Taylor

claim paper

Read More »

137

Voted

COMGEO
2010
ACM

94views Applied Computing» more COMGEO 2010»

Upward straight-line embeddings of directed graphs into point sets

15 years 7 months ago

Upward straight-line embeddings of directed graphs into point sets

Download www.cs.arizona.edu

Carla Binucci, Emilio Di Giacomo, Walter Didimo, A...

claim paper

Read More »

« Prev « First page 333 / 3631 Last » Next »