Sciweavers

2871 search results - page 165 / 575
» An Auxiliary Variational Method
Sort
View
170
Voted
ECCV
2004
Springer
16 years 8 months ago
Multiscale Inverse Compositional Alignment for Subdivision Surface Maps
Abstract. We propose an efficient alignment method for textured DooSabin subdivision surface templates. A variation of the inverse compositional image alignment is derived by intro...
Igor Guskov
118
Voted
ICPR
2006
IEEE
16 years 8 months ago
Evaluating Hierarchical Graph-based Segmentation
Using real world images, two hierarchical graph-based segmentation methods are evaluated with respect to segmentations produced by humans. Global and local consistency measures do...
Yll Haxhimusa, Adrian Ion, Walter G. Kropatsch
DATE
2002
IEEE
151views Hardware» more  DATE 2002»
15 years 12 months ago
Analog Circuit Sizing Using Adaptive Worst-Case Parameter Sets
In this paper, a method for nominal design of analog integrated circuits is presented that includes process variations and operating ranges by worst-case parameter sets. These set...
Robert Schwencker, Frank Schenkel, Michael Pronath...
184
Voted
DAS
2008
Springer
15 years 8 months ago
Fast and Accurate Skew Estimation Based on Distance Transform
Document skew estimation is an important step in the process of document analysis. In this paper we discuss the properties of the distance transform of binarized documents and der...
Itay Bar Yosef, Nate Hagbi, Klara Kedem, Its'hak D...
160
Voted
SIGSOFT
2003
ACM
16 years 7 months ago
A strategy for efficiently verifying requirements
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
Ralph D. Jeffords, Constance L. Heitmeyer