Sciweavers

2871 search results - page 165 / 575
» An Auxiliary Variational Method
Sort
View
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
ICPR
2006
IEEE
16 years 7 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 11 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...
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...
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