105 search results - page 6 / 21 » Additive and Multiplicative Structure in Matrix Spaces |
ICCV
2011
IEEE
12 years 7 months ago
2011
IEEE
Non-rigid structure from motion (NRSFM) is a difficult, underconstrained problem in computer vision. The standard approach in NRSFM constrains 3D shape deformation using a linear...
ICCV
2005
IEEE
14 years 1 months ago
2005
IEEE
We propose a new method to estimate multiple rigid motions from noisy 3D point correspondences in the presence of outliers. The method does not require prior specification of num...
SIGMETRICS
2000
ACM
13 years 11 months ago
2000
ACM
We present a new approximation algorithm based on an exact representation of the state space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algeb...
SOFTVIS
2010
ACM
13 years 7 months ago
2010
ACM
When software developers work with a program's source code, the structure of the source code often requires that they split their attention simultaneously across several docu...
EMSOFT
2003
Springer
14 years 20 days ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...