全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用：99美元
投递稿件

为什么选择我们？ >>
- 开源期刊
- 同行审议
- 快速出刊
- 终身存储
- 免费检索
- 免费推广
- 更多...
- 搜索引擎

-

ISSN Print: 1000—9825

ISSN Online:

主页: http://www.jos.org.cn/jos/ch/index.aspx

分享:




Go

Neocognitron学习算法分析

李星原,洪家荣

可重用构件及其描述语言

余江,全炳哲,金淳兆

关于迷宫排序问题的研究

吴向军,陈国良

线性规划在知识获取中的应用

李定坤,陈建华

对Etherington并行网络推理算法不完整性问题的探讨

范仲春

PLN网络的改进及其应用

张钹,张铃

基于目标码的XENIX核心源程序提取

吴健,孙玉方,李有志,梁志辉,牛光远

拓广的左线性递仅变换算法及其正确性

范明

利用关联矩阵的秩判断Petri网的公平性

王培良,蒋昌俊

智能决策支持系统NUIDSS的设计与实现

徐殿祥,潘金贵,陈世福

广义AND／OR图的自底向上的启发式搜索算法BHAO

王士同

SJ—3专家系统的开发技术

刘江宁,吴泉源,贾焰

事件代数与主动知识库系统

何新贵

凸壳问题的计算时间下界

王晓东

基于间断区间的时态知识表示

张师超

CIMBASE中分布式C预编译程序的实现研究

周立柱,王小京

测试集自动生成工具TUGEN的设计与实现

郝瑞兵

反射对象的概念、结构和实现

奚建清,胡守仁

试论计算机网络信息管理与决策支持系统体系结构设计

王向阳

图形分布处理支撑环境DGPSE

何志均,潘志庚,石教英

递归查询算法的研究

怀进鹏

视觉运动信息处理神经系统

郭宝龙,郭雷,陆心如

从专家分析实例中学习知识

曹存根

基于大型计算机系统的办公室应用支持环境

丁兆迎,宋传杰,董继润

面向对象逻辑语言SCKE中的限制推理

胡守仁,金芝

分布式计算系统中进程迁移的方法

彭德纯,肖红,邱毓兰

PCF的信息系统模型

王美清

基于ATMS和证据理论的不确定性推理方法

康建初,王江

Script──长期进程的设计与实现

曹建庆

分布式实时系统UECnet的描述工具──配置说明语言UECspec

舒敏,龚天富

知识库系统中的一种并发控制方法

施伯乐,曲云尧

知识求精的基本理论与方法的研究

杨莉,胡守仁

Horn逻辑上的范畴等价及方法推广

王怀民

LPS程序的过程语义

李磊,赵春晓

统计与科学数据库上的代数操作

丁华福,孙文隽,李建中

输入调解法和单元调解法在Horn集上的完备性

刘叙华,孙吉贵,欧阳丹彤

序佩特里(Petri)网计算能力分析

王永革

一种新的编译程序测试用例自动生成策略及其实现

吴健,胡正国,蒋立源

一种并行性检测算法

陈镐缨

协议自动验证的可靠策略

刘积仁,李华天,温涛

基于自然语言计算模型的汉语理解系统

周经野

提问的技巧、算法及其应用

H.S.Soon,邵维忠

Petri网的标注可达

吴哲辉,蒋昌俊

解释学习中的多知识库协作

石纯一,龚义涛

软件工程CASE工具——RSL/RSA

许龙山,贾霖

人工智能软件中的面向对象程序设计

王怀民,陈火旺

归纳逻辑及其在归纳学习中的应用问题

王雨田

KD-PARPRO:一个基于知识的并行化工具——总体设计与功能描述

金国华,陈福接

陶瓷品的计算机造型和花面设计系统

余成,周琪云,常晓虹

面向目标的最佳α—β搜索策略及其在博弈问题中的应用

张幸儿,潘征宇

Go




©2008-2020 OALib, Inc | Public user content licensed CC-BY 4.0 unless otherwise specified. OALib ISSN Online: 2333-9721 OALib ISSN Print: 2333-9705