Search Sciweavers | Sciweavers

2509 search results - page 10 / 502

» Abstract Geometrical Computation and Computable Analysis

click to vote

SMI
2006
IEEE

141views Image Analysis» more SMI 2006»

Degree Reduction for NURBS Symbolic Computation on Curves

14 years 1 months ago

Download www.cs.utah.edu

Symbolic computation of NURBS plays an important role in many areas of NURBS-based geometric computation and design. However, any nontrivial symbolic computation, especially when ...

Xianming Chen, Richard F. Riesenfeld, Elaine Cohen

claim paper

Read More »

click to vote

COMGEO
2010
ACM

133views Applied Computing» more COMGEO 2010»

Exact join detection for convex polyhedra and other numerical abstractions

13 years 7 months ago

Download www.comp.leeds.ac.uk

r Numerical Abstractions6 Roberto Bagnaraa , Patricia M. Hillb , Enea Zaffanellaa aDepartment of Mathematics, University of Parma, Italy bSchool of Computing, University of Leeds, ...

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

claim paper

Read More »

click to vote

CVPR
2008
IEEE

207views Computer Vision» more CVPR 2008»

Statistical analysis on Stiefel and Grassmann manifolds with applications in computer vision

14 years 9 months ago

Download www.umiacs.umd.edu

Many applications in computer vision and pattern recognition involve drawing inferences on certain manifoldvalued parameters. In order to develop accurate inference algorithms on ...

Pavan K. Turaga, Ashok Veeraraghavan, Rama Chellap...

claim paper

Read More »

click to vote

SPIN
2005
Springer

96views Theoretical Computer Science» more SPIN 2005»

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation

14 years 26 days ago