信息处理信件,第77卷
2001年1月31日第77卷第1期
克莱门斯·格里普 , 汉斯·吉尔根·普雷梅尔 , 阿南德·斯里瓦斯塔夫 以下为:
关于最坏情况下OBDD规模的演变。 1-7 安德里斯·安巴尼斯 以下为:
在有限和有把握的情况下学习公式。 9-11 埃丝特·阿尔金 , 拉斐尔·哈辛 , 马克西姆·斯维里登科 以下为:
逼近最大二次分配问题。 13-16 施月明汤 , 富龙叶 , 王月丽 以下为:
一种求解齐次集三明治问题的有效算法。 17-22 《学厚谭》 以下为:
简单多边形中最短的动物园管理员路线。 23-26 《学厚谭》 以下为:
简单多边形中最短看守路线的快速计算。 27-33 曾桂丽 , 吉米·J·M·谭 , 徐立兴 , 宋定懿 以下为:
洗牌立方及其推广。 35-41 Jean-Marie Le酒吧 以下为:
对于无向图上的一元存在二阶逻辑,0-1定律是失败的。 43-48
第77卷,第2-4期,2001年2月28日
维姬·L·阿尔姆斯特鲁姆 , 格里斯 以下为:
来自本期特刊编辑。 49-51 Edsger W.Dijkstra 以下为:
在莱布尼茨梦想的魔力下。 53-61 詹姆斯·安德森 , 马克·莫尔 , Srikanth Ramamurthy先生 以下为:
优先级调度系统的简单证明技术。 63-70 罗兰·卡尔·巴克豪斯 , 马滕·福克加 以下为:
等价的关联性与河内塔问题。 71-76 Lex Bijlsma公司 以下为:
基于模型的规范。 77-84 D.W.Braben先生 以下为:
逆势而行。 85-87 W.H.J.费扬 以下为:
配方操作的乐趣。 89-96 科马克·弗拉纳根 , 拉杰夫·乔希 , K.鲁斯坦·莱诺 以下为:
模块检查器的注释推理。 97-108 穆罕默德·古达 以下为:
安全要素:封闭、融合和保护。 109-114 特德·赫尔曼 , 藤泽俊美(Toshimitsu Masuzawa) 以下为:
可用的稳定堆。 115年至121年 C.A.R.霍尔 以下为:
遗产。 123-129 H.彼得·霍夫斯蒂 , Jun Sawada先生 以下为:
具有均匀互连的旋转电路的推导。 131-135 Rob R.Hoogerwoord公司 以下为:
正式有效。 137-142 杰里詹姆斯 , 安布吉·K·辛格 以下为:
恢复分布式对象。 143-150 安妮·卡尔德瓦伊 , 劳伦斯·德·弗里斯 以下为:
非循环指针结构的最佳实时垃圾收集。 151-157 威廉·利尔 , 阿尼什·阿罗拉 以下为:
数据细化中的国家级和价值级模拟。 159-167 K.鲁斯坦·莱诺 以下为:
名称的不动产。 169-171 Manolios帕纳焦蒂斯 , J斯特罗瑟·摩尔 以下为:
关于机械化计算证明的可取性。 173-179 阿兰·马丁 以下为:
朝向计算的能量复杂性。 181-187 道格拉斯·麦克罗伊 以下为:
溪流的音乐。 189-195 贾亚德夫·米斯拉 以下为:
走最短路径:Dijkstra的算法被视为定点计算。 197-200 大卫·A·诺曼 以下为:
计算尖锐的适应规则。 201-208 Josyula R.Rao公司 以下为:
关于形式方法在安全中的作用。 209-212 贝弗利·A·桑德斯 以下为:
平行的最短路径。 213-217
2001年3月31日第77卷第5-6号
李宣东 , 约翰·利利乌斯 以下为:
使用线性规划对一类时间Petri网进行有效验证。 219-224 格哈德·沃金格(Gerhard J.Woeginger) 以下为:
从多面体的正交投影重建多面体。 225至229 李明祥 , 臼岛和夫 , 唐昌杰 以下为:
在计算机表示中生成k元树。 231-238 卡洛斯·马丁·维德 , 维克托·米特拉纳 以下为:
并行通信有限自动机系统的一些不可判定问题。 239-245 保罗·A·S·维洛索 , 希拉·R·M·维洛索 以下为:
关于局部模块化变体和机构。 247-253 米开朗基罗·格里尼 以下为:
PPA的Sperner引理完备。 255-259年 Chinda Wongamnit公司 , 达娜·安格鲁因 以下为:
机器人在网格中的定位。 261-267 Hiroyuki Kawai先生 , 藤川直弘 , 枝田幸男 以下为:
循环根树对de-Buijn有向图的因式分解。 269-275 弗兰克·哈雷 , 弗拉基克·克雷诺维奇 , 吕克·朗普雷 以下为:
一种新的图形特征及其在数值可计算性中的应用。 277至282 Vicent Cholvi公司 , 巴勃罗·博罗纳特 以下为:
描述无死锁程序的最小属性。 283-290