欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
期刊
> 期刊详情页
A multistage rule induction al
时间:0
相关项目:约束推理与约束程序
作者:
Jigui Sun, Huawen Liu, Changs
同期刊论文项目
约束推理与约束程序
期刊论文 60
会议论文 19
同项目期刊论文
Model net: a representation of
Particle Swarm in Binary CSPs
一种自适应离散粒子群算法及其应用研究
Analog-Cell:一种新的电子细胞图形模型
层次化模糊Petri网:形式化定义
基于约束人力资源配置系统的设计
基于核的有向强连通图计算机随机
面向对象代数Petri网
面向网络的实时飞行模拟系统模型
参数化弧相容约束传播
汉语语音合成的研究进展
基于值序的二元约束满足问题粒子
一种求解粮食调运优化问题的两阶
描述逻辑综述
基于抽象-验证-细化范例的软件
基于Tableau的定理机器证明系统T
一种基于最小冲突修补的动态约束
最大度二元约束满足问题粒子群算
多元约束混合搜索算法研究
半在线调度中约束求解算法研究
A logic-based Branch and Bound
Analog-Cell:一种新的电子细胞
一种基于集合符号的自动推理扩展
一个基于本体主题的中文知识获取
一种求解tableau等式合一问题的
基于决策树分类方法的粮食轮换决
大规模三维地形可视化算法研究进
用周期模型和近邻算法预测话务量
弧相容算法性能比较
Particle Swarm Algorithm with
基于GIS的粮食管理预警决策支持
基于模糊对象的不精确需求建模
一种新的汽车乘员分类视觉检测算法
一致性规划研究
最先失败原则的约束传播算法
基于加权向量空间模型的网络搜索
数据挖掘中聚类算法的新发展
工作流系统中一个基于多权角色和规则的条件化RBAC安全访问控制模型
一个基于最小冲突修补的动态约束满足求解算法
一种基于集合符号的自动推理扩展方法
一种用描述逻辑刻画多代理系统规约的方法
聚类算法研究
基于云计算的Apriori挖掘算法
初教六型飞机仿真系统的数据采集与处理
基于GIS的物业管理信息系统的设计与实现
基于广义产品结构的配置和集成研究
联机分析处理中的非规则维建模
一种基于PSO的动态聚类算法
最大度二元约束满足问题粒子群算法
基于语义tableau的一阶逻辑自动定理证明
求极小碰集的遗传算法