10870 search results - page 1966 / 2174 » Model Checking Programs |
103
Voted
ICCAD
2001
IEEE
15 years 10 months ago
2001
IEEE
A mixed potential integral equation (MPIE) technique combined with fast multi-layer Green’s functions and Gaussian Jacobi high order techniques is used to compute the 3-D freque...
145
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Taking multiple exposures is a well-established approach both for capturing high dynamic range (HDR) scenes and for noise reduction. But what is the optimal set of photos to captur...
117
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Online boosting is one of the most successful online learning algorithms in computer vision. While many challenging online learning problems are inherently multi-class, online boo...
114
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
We present a practical approach for surface reconstruction of smooth mirror-like objects using sparse reflection correspondences (RCs). Assuming finite object motion with a fix...
103
click to vote
HICSS
2010
IEEE
15 years 8 months ago
2010
IEEE
It is generally acknowledged that macroinvertebrates are good indicators of water quality in streams, as a number of taxa are sensitive to pollution and integrate their response t...