6045 search results - page 48 / 1209 » Computable Linearizations of Well-partial-orderings |
DAC
1999
ACM
14 years 8 months ago
1999
ACM
ECCV
2010
Springer
14 years 4 days ago
2010
Springer
Manifolds are widely used to model non-linearity arising in a range of computer vision applications. This paper treats statistics on manifolds and the loss of accuracy occurring wh...
ACCV
2006
Springer
14 years 1 months ago
2006
Springer
A robust linear method for auto-calibration of a moving camera from image sequences is presented. Known techniques for auto-calibration have problems with critical motion sequences...
SIAMCOMP
2002
13 years 7 months ago
2002
Linear quantum cellular automata were introduced recently as one of the models of quantum computing. A basic postulate of quantum mechanics imposes a strong constraint on any quan...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...