搜索结果: 1-15 共查到“知识库 Constraints”相关记录497条 . 查询时间(0.184 秒)
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...
MergeMAC: A MAC for Authentication with Strict Time Constraints and Limited Bandwidth
Symmetric-key cryptography message authentication code lightweight
2018/4/17
This paper presents MergeMAC, a MAC that is particularly suitable for environments with strict time requirements and extremely limited bandwidth. MergeMAC computes the MAC by splitting the message int...
MESH MODELLING OF 3D POINT CLOUD FROM UAV IMAGES BY POINT CLASSIFICATION AND GEOMETRIC CONSTRAINTS
Surface Reconstruction Surface Normal Point cloud Mesh model
2018/6/4
The point cloud generated by multiple image matching is classified as an unstructured point cloud because it is not regularly point spaced and has multiple viewpoints. The surface reconstruction techn...
Two Types of Granites in the Western Yangtze Block and Their Implications for Regional Tectonic Evolution: Constraints from Geochemistry and Isotopic Data
I-type granite S-type granite geochemistry petrogenesis tectonic setting Western Yangtze Block
2018/4/10
In the western Yangtze Block, widespread Mesoproterozoic to Neoproterozoic rocks are the key to understanding the Precambrian tectonic-magmatic evolution of the region. However, their petrogenesis and...
The direct and indirect effects of the phonotactic constraints in the listener's native language on the comprehension of reduced and unreduced word pronunciation variants in a foreign language
Foreign language speech comprehension Phonotactic constraints Subsegmental information
2017/8/28
This study investigates how the comprehension of casual speech in foreign languages is affected by the phonotactic constraints in the listener’s native language. Non-native listeners of English with d...
Highly proficient bilinguals maintain language-specific pragmatic constraints on pronouns: Evidence from speech and gesture
non-pro-drop patterns non-pro-drop language
2017/8/25
The use of subject pronouns by bilingual speakers using both a pro-drop and a non-pro-drop language (e.g. Spanish heritage speakers in the USA) is a well-studied topic in research on cross-linguistic ...
Constraints on mechanisms of chondrule formation from chondrule precursors and chronology of transient heating events in the protoplanetary disk
chondrules refractory inclusions chondrule precursors transient heating
2017/4/10
The mineralogy, petrography, and oxygen-isotope compositions of porphyritic chondrules—dominant chondrule type
in most chondrite groups—suggest formation by incomplete melting of isotopically diverse...
The I-Xe chronometer and its constraints on the accretion and evolution of planetesimals
extinct radioisotopes iodine-xenon chondrites early solar system chronology
2017/4/10
We report a –1.6 ± 2.6 Myr (1s error) I-Xe age of the ungrouped achondrite NWA 7325 relative to the Shallowater
standard. We re-evaluate the calibration of the relative I-Xe dating system against the...
New constraints on shergottite petrogenesis from analysis of Pb isotopic compositional space: Implications for mantle heterogeneity and crustal assimilation on Mars
shergottite Pb isotopes Martian geochemistry crustal assimilation mantle heterogeneity
2017/4/10
Geochemical studies of shergottites (Martian basalts) based on Rb-Sr, Sm-Nd, and Lu-Hf isotopic systematics have
provided clues to understanding the geochemical evolution of the Martian mantle and id...
Model-counting Approaches For Nonlinear Numerical Constraints
Side-channel Attacks Modulo Exponentiation Quantitative Information Flow
2017/3/21
Model counting is of central importance in quantitative reasoning about systems. Examples include computing the probability that a system successfully accomplishes its task without errors, and measuri...
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...
Constraints on Localization and Decomposition as Explanatory Strategies in the Biological Sciences
mechanism,localization decomposition systems neuroscience graph theory
2016/5/31
Several articles have recently appeared arguing that there really are no viable alternatives to mechanistic explanation in the biological sciences (Kaplan and Craver 2011; Kaplan and Bechtel 2011). Th...
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...