斯图林
207 - 208页
提出了一种证明方法，子目标归纳，作为常用归纳断言方法的替代或补充。它的主要优点是通常可以直接从输入来证明循环的正确性……
詹姆斯·h·莫里斯，本·韦格布里特
209 - 222页
图像处理中的一个主要问题是如何消除区域增长技术在初始分割时产生的大量伪区域。这些地区已被取消，不是基于……
Steven L. Tanimoto, Theodosios Pavlidis
223 - 229页
一份进展报告介绍了正在进行的研究工作，涉及不确定性和风险下的人类决策、人类问题解决和学习过程，以及机器学习、大规模编程……
尼古拉斯诉Findler
230 - 245页
描述了用于在虚拟内存环境中使用的一类索引结构。分析了这类索引结构中的设计备选方案。这些选择包括搜索策略的选择，是否…
丸山，S. E.史密斯
245 - 254页
本文介绍了一项研究的结果，测试诺兰的计算机发展阶段模型的s型预算曲线在一个组织。对加州各县数据处理预算的研究未能支持…
亨利·c·卢卡斯，吉米·a·萨顿
254 - 259页
当数据记录被分组到二级存储器中的块中时，通常需要估计块的数量
X
D
为给定的查询访问。在最近的一篇论文[1]中，卡德纳斯给出了这个表达
X
D
＝
米(1 -(1 - 1/…
s . b .姚
260 - 261页
在最近的一篇论文中，Shneiderman和Scheuermann定义了一个有趣的操作，称为
统一的插入，其中一个(链接的)数据结构
G
2可以嵌入到另一个结构中吗
G
1这样一来，每个数据…
克利福德·r·霍兰德
261 - 262页
我想评论Fabrizio Luccio[1]的一篇文章，它讨论了散点表的加权增量线性搜索。
s . k . Bandyopadhyay
262 - 263页
给出了排序n的两种算法
2n × n网格连接处理器阵列上的元素，需要O (n)个路由和比较步骤。现有的最佳算法需要O(n log n)的时间。
汤普生，龚海棠
263 - 271页
提出了一种描述和构造程序的方法，简化了程序正确性的证明。该方法以抽象层次的形式表示程序，每一层次可以用一个…
劳伦斯·罗宾逊，卡尔·n·莱维特
271 - 283页
罗伯特·l·Ashenhurst
286 - 287页
