Sciweavers

1333 search results - page 12 / 267
» Not a Number of Floating Point Problems
Sort
View
95
Voted
EGITALY
2006
14 years 11 months ago
Implementing mesh-based approaches for deformable objects on GPU
These latest years witnessed an impressive improvement of graphics hardware both in terms of features and in terms of computational power. This improvement can be easily observed ...
Guido Ranzuglia, Paolo Cignoni, Fabio Ganovelli, R...
77
Voted
ISAAC
2007
Springer
141views Algorithms» more  ISAAC 2007»
15 years 4 months ago
Algorithms for the Hypergraph and the Minor Crossing Number Problems
Abstract. We consider the problems of hypergraph and minor crossing minimization, and point out a relation between these two problems which has not been exploited before. We presen...
Markus Chimani, Carsten Gutwenger
84
Voted
TPHOL
2000
IEEE
15 years 1 months ago
Formal Verification of IA-64 Division Algorithms
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
John Harrison
105
Voted

Source Code
2846views
16 years 9 months ago
Armadillo C++ matrix library
Armadillo is a streamlined C++ linear algebra library (matrix maths) aiming towards a good balance between speed and ease of use. It is based on recursive templates. Integer, float...
Conrad Sanderson
68
Voted
JMIV
2006
58views more  JMIV 2006»
14 years 10 months ago
On the Probability of the Number of Solutions for the P4P Problem
This paper studies the multi-solution phenomenon for the perspective four point (P4P) problem from geometric and algebraic aspects. We give a pure geometric proof that the P4P pro...
Xiao-Shan Gao, Jianliang Tang