1888 search results - page 62 / 378 » Proof theory and computational analysis |
ICCV
2001
IEEE
15 years 24 days ago
2001
IEEE
Principal Component Analysis (PCA) has been widely used for the representation of shape, appearance, and motion. One drawback of typical PCA methods is that they are least squares...
CVPR
2008
IEEE
15 years 27 days ago
2008
IEEE
Many applications in computer vision and pattern recognition involve drawing inferences on certain manifoldvalued parameters. In order to develop accurate inference algorithms on ...
GECCO
2007
Springer
14 years 5 months ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
IJHPCA
2006
13 years 11 months ago
2006
Today, large scale parallel systems are available at relatively low cost. Many powerful such systems have been installed all over the world and the number of users is always incre...
JELIA
1990
Springer
14 years 2 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...