2647 search results - page 130 / 530 » Solving Term Inequalities |
164
click to vote
ECCV
1996
Springer
16 years 6 months ago
1996
Springer
We present a variational approachto dense stereo reconstructionwhich combines powerful tools such as regularization and multi-scale processing to estimate directly depth from a num...
148
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
Traditional snakes, or active contours, are planar parametric curves. Their parameters are determined by optimizing the weighted sum of three energy terms: one depending on the dat...
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Interoperability has become one of the big problems of e-commerce since it was born. A number of B2B standards like ebXML, UDDI, RosettaNet, xCBL, etc. emerged recently to solve t...
149
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
201
click to vote
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
In this paper, we propose a new algorithm that solves both the stereo matching and the image denoising problem simultaneously for a pair of noisy stereo images. Most stereo algorit...