会议专题

1999年全国理论计算机科学学术年会

总文献量: 36篇会议类型: 国内会议会议地点: 浙江金华主办单位: 中国计算机学会会议日期: 1999-10-01

文章浏览

t-闭包与图的k-因子及算法

孟亚俞政

一种基于状态转换图的联机手写汉字拐点识别算法

文艳军殷建平

关于确定有限自动机化简问题

刘任任

矩阵的一类似Jordan分解

张知难王天军

基于椭圆曲线密码体制的盲数字签名方案

杨晓元韩益亮赵霖

GF(2<”m>)上的椭圆曲线密码体制的并行算法

雷咏梅赵霖

软件可靠性测试研究与实验

刘海燕宫云战万琳杨朝红

可靠软件的开发及认证方法

颜炯邢海杰贲可荣

一般搜索空间中演化算法的收敛速度

丁立新刘忠康立山

并行计算模型

陈军李晓梅

相容关系

本慧灵

XYZ系统对实时控制系统中进程调度和中断机制的描述

宋悦郝克刚

椭圆曲线密码在电子投票协议中的应用

王泽勇韦宝典李敏赵霖

关于逆反逻辑的初步研究

苏运霖

算术程序的正确性验证及其实现

王继民李廉

形式化方法在计算机可靠性工程中的应用

贲可荣颜炯

简单一维随机游动的若干性质及应用

张立宇张丕兴朱洪

计算树逻辑的一个高效模型检验算法

胡成军王戟陈火旺

维护型意愿的理论框架

毛新军陈火旺陈跃新刘凤岐

基于ANN的HMM训练算法ANN-Based HMM Training Algorithm

姚丹霖陈火旺殷建平