Sciweavers

109 search results - page 5 / 22
» A Closed Form Solution to Natural Image Matting
Sort
View
CVPR
2005
IEEE
15 years 11 months ago
A Minimal Solution for Relative Pose with Unknown Focal Length
Assume that we have two perspective images with known intrinsic parameters except for an unknown common focal length. It is a minimally constrained problem to find the relative or...
Henrik Stewénius, David Nistér, Fred...
79
Voted
CVPR
2005
IEEE
15 years 11 months ago
A Unified Optimization Based Learning Method for Image Retrieval
In this paper, an optimization based learning method is proposed for image retrieval from graph model point of view. Firstly, image retrieval is formulated as a regularized optimi...
Hanghang Tong, Jingrui He, Mingjing Li, Wei-Ying M...
DATE
2005
IEEE
97views Hardware» more  DATE 2005»
15 years 3 months ago
Efficient Solution of Language Equations Using Partitioned Representations
A class of discrete event synthesis problems can be reduced to solving language equations F • X ⊆ S, where F is the fixed component and S the specification. Sequential synthes...
Alan Mishchenko, Robert K. Brayton, Jie-Hong Rolan...
CVPR
2007
IEEE
15 years 11 months ago
Soft Edge Smoothness Prior for Alpha Channel Super Resolution
Effective image prior is necessary for image super resolution, due to its severely under-determined nature. Although the edge smoothness prior can be effective, it is generally di...
Shengyang Dai, Mei Han, Wei Xu, Ying Wu, Yihong Go...
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 1 months ago
Formal verification of analog circuits in the presence of noise and process variation
We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we propose ...
Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zak...