816 search results - page 44 / 164 » SAT-Based Image Computation with Application in Reachability... |
155
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
The images of an outdoor scene collected over time are valuable in studying the scene appearance variation which can lead to novel applications and help enhance existing methods t...
159
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: There is increasing interest in the development of computational methods to analyze fluorescent microscopy images and enable automated large-scale analysis of the subc...
160
click to vote
ATVA
2004
Springer
15 years 9 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
196
click to vote
SIBGRAPI
2005
IEEE
15 years 11 months ago
2005
IEEE
A critical issue of applying Linear Discriminant Analysis (LDA) is both the singularity and instability of the within-class scatter matrix. In practice, particularly in image recog...
164
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
A unified approach for treating the scale selection problem in the anisotropic scale-space is proposed. The anisotropic scale-space is a generalization of the classical isotropic ...