8828 search results - page 407 / 1766 » Formal methods in practice |
199
Voted
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
This paper proposes a simple “prior-free” method for solving non-rigid structure-from-motion factorization problems. Other than using the basic low-rank condition, our method ...
175
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
More aggressive design practices have created renewed interest in techniques for analyzing substrate coupling problems. Most previous work has focused primarily on faster techniqu...
195
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper is devoted to the subspace DoA estimation using a large antennas array when the number of available snapshots is of the same order of magnitude than the number of senso...
214
click to vote
AGILEDC
2008
IEEE
16 years 1 months ago
2008
IEEE
A core principle of Agile development is to satisfy the customer by providing valuable software on an early and continuous basis. For a software application to be valuable it shou...
170
click to vote
ICDAR
2005
IEEE
16 years 14 days ago
2005
IEEE
A common practice in pattern recognition is to classify an unknown object by matching its feature vector with all the feature vectors stored in a database. When the number of clas...