搜索结果: 1-15 共查到“工学 Constraints”相关记录78条 . 查询时间(0.125 秒)
TIE POINTS EXTRACTION FOR SAR IMAGES BASED ON DIFFERENTIAL CONSTRAINTS
Synthetic Aperture Radar (SAR) Tie Points Matching Extraction Differential Constraints
2018/5/16
Automatically extracting tie points (TPs) on large-size synthetic aperture radar (SAR) images is still challenging because the efficiency and correct ratio of the image matching need to be improved. T...
Line Matching Algorithm for Aerial Image Combining image and object space similarity constraints
Line matching Aerial Images Feature matching Similarity constraint
2016/7/28
A new straight line matching method for aerial images is proposed in this paper. Compared to previous works, similarity constraints combining radiometric information in image and geometry attributes i...
Systems of set constraints are a natural formalism for many problems in program analysis. Set constraints are also a generalization of tree automata. We present an algorithm for solving systems of set...
We present a general algorithm for solving systems of inclusion constraints over type expressions.The constraint language includes function types, constructor types, and liberal intersection and union...
Set constraints are relations between sets of terms. They have been used extensively in various applications in program analysis and type inference. We present several results on the computational com...
Set Constraints: Results, Applications, and Future Directions
Set Constraints Results Applications Future Directions
2016/5/24
Set constraints are a natural formalism for many problems that arise in program analysis. This paper provides a brief introduction to set constraints: what set constraints are, why they are interestin...
Program Analysis Using Mixed Term and Set Constraints
Program Analysis Mixed Term Set Constraints
2016/5/24
There is a tension in program analysis between precision and eciency. In constraint-based program analysis, at one extreme methods based on uni cation of equality constraints over terms are very fast...
Entailment with Conditional Equality Constraints
Entailment Conditional Equality Constraints
2016/5/24
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend equality constraints wi...
We investigate the first-order theory of subtyping constraints.We show that the first-order theory of nonstructural subtyping is undecidable, and we show that in the case where all constructors are ei...
Regularly Annotated Set Constraints
Set constraints context-free language reachability flow analysis
2016/5/24
A general class of program analyses are a combination of contextfree and regular language reachability. We define regularly annotated set constraints, a constraint formalism that captures this class. ...
Decidability of Systems of Set Constraints with Negative Constraints
Decidability Systems Set Constraints Negative Constraints
2016/5/24
Set constraints are relations between sets of terms. They have been used extensively in various applications in program analysis and type inference. Recently, several algorithms for solving general sy...
Incorporating scene constraints into the triangulation of airborne oblique images
Adjustment Bundle Calibration Comparison Orientation Software
2016/1/25
An increasing number of airborne systems equipped with oblique viewing cameras are reported being operational, such as Pictometry,
FLI-MAP, 3K or PFIFF. The oblique images are today mainly used for v...
Segmentation Optimization for Aerial Images with Spatial Constraints
Image Segmentation Optimization Methods Parameter Estimation
2015/12/16
Unsupervised segmentation methods are important to extract boundary features from large forest vegetation databases. Finding optimized segmentation algorithms for images with natural vegetation is cru...
Linear Constraints in Two-View Multiple Homography Estimation of Uncalibrated Scenes
Geometry Vision Homography Parameter estimation Video
2015/12/4
In this contribution, we present a method for direct linear estimation of multiple homographies and optimization of estimation results by enforcing topological constraints by means of connected compon...
An Approach to Building Grouping Based on Hierarchical Constraints
Building generalization building grouping hierarchical constraints Gestalt factors minimum spanning tree
2015/12/2
Building generalization is one of the difficult operations in automated map generalization. It usually consists of two consecutive steps, i.e. dividing buildings into groups (also called building grou...