搜索资源列表
ProtegeOWL
- 该文档为人工智能中ontology本体建模的详细使用文档,内含Protege工具的设计实例,使用Racer进行推理-The document ontology in artificial intelligence in the detailed use of ontology document, containing Protege tool design example, the use of reasoning Racer
Bayes_nets_uncertainty_reasoning
- 贝叶斯网在不确定性推理中的研究 对从事这方面工作的很有指导意义-Bayes nets in the research of uncertainty reasoning in this line of work is very instructive
iHMM-Matlab_v0[1].5
- 无限状态隐马尔可夫模型(IHMM)采样与推理算法程序,可用于模式识别,视频异常事件检测等,开发平台了最新的MATLAB2009-Infinite state Hidden Markov Model (IHMM) sampling procedures and the reasoning algorithm can be used for pattern recognition, video detection of abnormal events such as the development
FCbook
- i gives fuzzy control book and fuzzy logic reasoning
Support-dynamic-changes-of-the-multi-domain-system
- 支持动态变型设计的多领域系统知识建模与推理求解Support dynamic changes of the multi-domain system design knowledge modeling and reasoning to solve-Support dynamic changes of the multi-domain system design knowledge modeling and reasoning to solve
MineAI
- 智能扫雷算法的代码,实现了单子和两子推理,推理速度很快-Smart mine algorithm code implements the list and the two sub-reasoning, reasoning fast
Hammersley-Clifford
- 研究马尔科夫随机场和吉布斯随机场之间关系的文章,有严格的推理-Of Markov random fields and Gibbs random relationship between the articles, there are strict reasoning
Hammersley-Clifford_Theorem
- 研究马尔科夫随机场和吉布斯随机场理论之间关系的文章,有严格的推理。希望对大家有用-Of Markov random fields and Gibbs random field theory of the relationship between the articles, there are strict reasoning. Hope to useful
ESshellForPlant
- 该系统能进行诸如堆高温度和低锅炉效率检测,分析和诊断异常和低效率的工作条件。系统的某些特殊功能包括:在任何单位装载并根据正常和不正常的条件范围内电厂过程仿真。备件是一个工程上使用Gensym的G2的工作站实现面向对象的实时专家系统外壳上的250兆瓦发电机组建模在新加坡举行。是备用获得的知识被编码在工程模型和对象的形式。规则和数学模拟和公式。-A prototype real-time knowledge based system. SPARES (Steam Plant Analysis usi
fuzzy_img_enhance
- 模糊推理进行灰度图像增强,图片为爱因斯坦的肖像。-Gray fuzzy reasoning for image enhancement, image is a portrait of Einstein.
OZ-Computer-Programming(MIT-Press)
- oz:多范式语言, 函数型语言(词法域 第一类过程 模式匹配 第一类统一语法),lazy,高阶(可实现非递归的循环),尾递归,描述式编程 面向对象(状态 Stateful/抽象数据类型 多重继承), 并行(多线程)(dataflow(数据流)线程 动态 连续 互影响), 约束编程和逻辑推理(逻辑变量 分离结构 可编程搜索策略),人工智能, 分布式(网络透明的分布式运算 组件编程 自动连接自动断线 共享变量/对象/类/和过程), 网络编程,无状态数据
dm-labs
- 离散数学的若干实验指导书。主要包含真值表判定、逻辑推理、集合运算、等价关系、代数系统运算等方面。-Several discrete mathematics experiment documents. Mainly consists of determining truth table, logical reasoning, set operations, equivalence relations, algebraic operations and so on.
Symmetric
- 对称置信传播立体匹配算法,较早实现的全局立体匹配算法,能有效处理遮挡区域-Our occlusion reasoning is directly based on the visibility constraint that is more general than both ordering and uniqueness con- straints used in previous work. The visibility constraint requires occlusi
Protege-futhure
- 关于使用protege的推理篇 很不错的资料 是基础篇基础上的进展-Articles on the use of reasoning protege very good information is the foundation of progress based on the article
Protege-futhure-more
- protege的进阶篇 是在基础篇推理篇的基础上进一步介绍有关protege的使用-protege advanced articles in the Basics chapter on the basis of reasoning further information about the use of protege
201041422225774
- 猜数字游戏 猜数字小游戏,开发推断能力 -Number guessing game number guessing game development reasoning capabilities
Matt_Pietreks_PE_Tutorial
- 一个操作系统的可执行文件格式,从许多角度来看,都是操作系统内建行为的一面镜子。 虽然可执行档格式通常并不是一个程序员认为迫切需要学习的东西,但操作系统的许多 有用的知识却可以在这个过程中获得。动态联结、加载器行为、以及内存管理,是特 别容易在这个学习过程中推理而得的三个主题。 -An operating system executable file format, from many point of view, are the behavior of the operating
osis
- 模糊推理在军用飞机转速摆动故障诊断中的应用-Fuzzy Reasoning in military aircraft speed swing fault diagnosis
Sudoku
- 九宫格数独,是一种源自18世纪末的瑞士,后在美国发展、并在日本得以发扬光大的数字谜题。数独盘面是个九宫,每一宫又分为九个小格。在这八十一格中给出一定的已知数字和解题条件,利用逻辑和推理,在其他的空格上填入1-9的数字。使1-9每个数字在每一行、每一列和每一宫中都只出现一次。这种游戏全面考验做题者观察能力和推理能力,虽然玩法简单,但数字排列方式却千变万化,所以不少教育者认为数独是训练头脑的绝佳方式。-Jiugongge Sudoku, is a Swiss from the 18th centur
sqwrl-paper
- 关于swrl的论文集,swrl是规则描述语言,使用它可以对web服务进行一些相关推理 -Essays on the swrl, swrl is the rule descr iption language for web services use it to some relevant reasoning