3600 search results - page 305 / 720 » The settling-time reducibility ordering |
187
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
180
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--We propose a new Consistent Weighted Sampling method, where the probability of drawing identical samples for a pair of inputs is equal to their Jaccard similarity. Our me...
185
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Compressed sensing is applied to multiview image sets and interimage disparity compensation is incorporated into image reconstruction in order to take advantage of the high degree...
136
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a new descriptor and feature matching solution for omnidirectional images. The descriptor builds on the log-polar planar descriptors, but adapts to the specific geometr...
165
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a new needle path planning method for digital breast tomosynthesis biopsy. Needle insertion planning into deformable tissue for breast biopsy procedure is a cha...