1989 search results - page 166 / 398 » cost 2010 |
209
click to vote
ICCAD
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
202
click to vote
ICCAD
2010
IEEE
15 years 5 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...
202
click to vote
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
Conventional stereoscopic video content production requires use of dedicated stereo camera rigs which is both costly and lacking video editing flexibility. In this paper, we propo...
218
click to vote
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
Copy-move tampering is a common type of image synthesizing, where a part of an image is copied and pasted to another place to add or remove an object. In this paper, an efficient ...
211
Voted
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper presents the combined use of gradient and mutual information for infrared and intensity templates matching. We propose to joint: (i) feature matching in a multiresoluti...