Sciweavers

1483 search results - page 103 / 297
» Geometric constraint satisfaction using optimization methods
Sort
View
ICIP
1994
IEEE
15 years 5 months ago
Total Variation Based Image Restoration with Free Local Constraints
The two main plagues of image restoration are oscillations and smoothing. Traditional image restoration techniques prevent parasitic oscillations by resorting to smooth regulariza...
Leonid I. Rudin, Stanley Osher
CVPR
2010
IEEE
15 years 10 months ago
Building Reconstruction using Manhattan-World Grammars
We present a passive computer vision method that exploits existing mapping and navigation databases in order to automatically create 3D building models. Our method defines a gramm...
Carlos Vanegas, Daniel Aliaga, Bedrich Benes
RTSS
1999
IEEE
15 years 5 months ago
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
Purnendu Sinha, Neeraj Suri
ICCAD
2004
IEEE
125views Hardware» more  ICCAD 2004»
15 years 10 months ago
Temporal floorplanning using the T-tree formulation
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we model each task ...
Ping-Hung Yuh, Chia-Lin Yang, Yao-Wen Chang
ICPR
2002
IEEE
15 years 6 months ago
Constrained Structure and Motion Estimation from Optical Flow
Unbiased and consistent estimates of structure and motion can be obtained by least squares minimization of the differential epipolar constraint. Previous work on this subject does...
Marco Zucchelli, José Santos-Victor, Henrik...