1.
Research on Interaction Technology Based on Automated Geometry Reasoning
基于几何自动推理的智能交互技术研究
2.
Knowledge and Geometry Based Approach for Disassembly Constraints Generation
基于知识规则与几何推理的拆卸约束自动生成
3.
A Study on Eye Movements in Pupils and Middle School Students Geometry Figure Reasoning;
中小学生进行几何图形推理过程的眼动研究
4.
Automated Reasoning Based on Tableaux;
基于tableau的自动推理研究
5.
For instance, the texture coordinates automatically scale the image to the area we' ve defined by the geometry.
例如，纹理坐标自动缩放图片以适应我们的几何定义。
6.
Design of Automatic Carrier Landing Control System Base on Nonlinear Geometry Thoery
基于非线性微分几何理论的舰载机自动着舰飞控系统设计及仿真
7.
Automatic Measuring System for Wheel Set Geometric Parameters Based on Laser Triangulation Method
基于激光三角法原理的轮对几何参数自动检测系统
8.
A Study on the Development and Teaching of 7～(th)-9～(th) Grader's Geometry Reasoning Ability;
7-9年级学生几何推理能力发展及其教学研究
9.
Probabilistic Reasoning and Statistical Learning Based on Geometrical Property of Data;
基于数据几何特性的概率推理和统计学习研究
10.
Automatic Location Method of Camera for Geometrical Calibration
几何校正自动化中的相机自动定位方法
11.
Auto-decisive method for control point of image geometric rectification
图像几何校正控制点的自动确定方法
12.
Variational geometric constraints (VGC) are classified as self-referenced VGC, cross-referenced VGC and mating VGC.
定义了三类变动几何约束：自参考、互参考和配合变动几何约束；
13.
The resulting geometry of the classical logic and thinking several European, which is the origin of strict reasoning.
由此产生了古典逻辑与欧几思维几何学，这是严格推理的起源。
14.
the proof of a theorem,ie in geometry
（几何）定理的证明.
15.
Study on Non-contact and Automatical Measuring System for Measurment of Wheelset Geometric Parameters;
轮对几何参数非接触式自动测量系统的研究
16.
Study on the CCD Wood Board Dimension Auto-measuring System and Its Application;
CCD木材几何尺寸自动检测系统的研究及应用
17.
Study of Fast-Automatic Detection Technology for Road Geometry Parameter Based on IMU;
基于IMU的公路几何参数快速自动检测技术研究
18.
Automatic Mesh Generation in Geometrical Construction of Virtual Surgery;
虚拟手术几何建模中网格自动生成技术的研究