Sciweavers

921 search results - page 14 / 185
» Abstract Matrix Arithmetic
Sort
View
CVPR
2008
IEEE
14 years 9 months ago
Fast and robust numerical solutions to minimal problems for cameras with radial distortion
A number of minimal problems of structure from motion for cameras with radial distortion have recently been studied and solved in some cases. These problems are known to be numeri...
Karl Åström, Klas Josephson, Martin Byr...
ICCV
2007
IEEE
14 years 9 months ago
Two Minimal Problems for Cameras with Radial Distortion
Epipolar geometry and relative camera pose computation for uncalibrated cameras with radial distortion has recently been formulated as a minimal problem and successfully solved in...
Tomás Pajdla, Zuzana Kukelova
FSTTCS
2009
Springer
14 years 2 months ago
The Power of Depth 2 Circuits over Algebras
We study the problem of polynomial identity testing (PIT) for depth 2 arithmetic circuits over matrix algebra. We show that identity testing of depth 3 (ΣΠΣ) arithmetic circuit...
Chandan Saha, Ramprasad Saptharishi, Nitin Saxena
AML
2006
85views more  AML 2006»
13 years 7 months ago
Arithmetical Sacks Forcing
Abstract. We answer a question of Jockusch by constructing a hyperimmunefree minimal degree below a 1-generic one. To do this we introduce a new forcing notion called arithmetical ...
Rod Downey, Liang Yu
LOGCOM
2007
92views more  LOGCOM 2007»
13 years 7 months ago
Third-Order Computation and Bounded Arithmetic
Abstract. We describe a natural generalization of ordinary computation to a third-order setting and give a function calculus with nice properties and recursion-theoretic characteri...
Alan Skelley