4100 search results - page 292 / 820 » General Linear Cameras |
248
click to vote
CAV
1999
Springer
15 years 11 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
216
click to vote
Publication
Most conventional SFS (shape from shading) algorithms have been developed under the assumption of orthographic projection. However, the assumption is not valid when an object is no...
184
click to vote
TIP
2011
15 years 1 months ago
2011
—This paper introduces kernel versions of maximum autocorrelation factor (MAF) analysis and minimum noise fraction (MNF) analysis. The kernel versions are based upon a dual formu...
150
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We present a general method of designing fast approximation algorithms for cut-based minimization problems in undirected graphs. In particular, we develop a technique that given a...
174
Voted
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
A general classification framework, called boosting chain, is proposed for learning boosting cascade. In this framework, a "chain" structure is introduced to integrate h...