明 – phrases

Terms for subject Artificial intelligence containing 明 | all forms

Chinese	English
不透明重叠	opaque overlap
任务说明	task specification
信息交换规范说明	information exchange specification
兴奋和明亮	victory and brightness
几何定理机器证明	mechanical theorem proving in geometry
几何定理证明程序	geometry theorem prover
参照透明	referential transparency
国际照明委员会	International Committee on Illumination
声明类指令	literalization
定理证明系统	Theorem Proving System
Boyer-Moore 定理证明系统	Boyer-Moore theorem prover
推理规范说明	inference specification
明可夫斯基	Minkowski
明可夫斯基测度	Minkowski measure
明可夫斯基距离	Minkowski distance
明暗度	shading
明确的与不言而喻的	explicit vs. tacit
明确集理论	crisp set theory
最小海明距离分类器	Minimum Hamming distance Classifier
海明又译汉明，Bell 实验室研究人员， 1950年发明海明码	Hamming
海明分类器	Hamming classifier
海明悬崖	Hamming cliff
海明窗	Hamming window
知识规范说明	knowledge specification
示例规范说明	example specification
类声明	literalize
组件规范说明	component specification
证明查找程序	proof finding program
说明性表达	declarative representation
说明项	declaration section
谓词任务说明	predicate task specification
过程规范说明	process specification
透明覆盖	transparent overlap
阈值说明	threshold statement
需求规范说明	requirement specification
非归结定理证明	nonresolution theorem proving