6045 search results - page 48 / 1209 » Computable Linearizations of Well-partial-orderings |
136
click to vote
ECCV
2010
Springer
15 years 8 months 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...
115
Voted
ACCV
2006
Springer
15 years 10 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...
154
Voted
SIAMCOMP
2002
15 years 3 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...
252
click to vote
POPL
2009
ACM
16 years 4 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...