24.SOFSEM 1997:捷克共和国米洛维
Frantisek Plásil公司 , 基思·杰弗里 :
SOFSEM’97:信息学理论与实践,第24届信息学理论和实践当前趋势研讨会,捷克共和国米洛维,1997年11月22日至29日,会议记录。 计算机科学讲义 1338, 施普林格 1997 ,国际标准图书编号 3-540-63774-5
受邀论文
基本原理
雷纳·费尔德曼 :
计算机象棋:深入了解未来的算法和启发式。 1-18 马克·范·克雷维尔德 :
三角地形算法。 19-36 克劳斯·约恩·兰格 :
并行算法的分布式实现。 37-52 约翰·马科斯基 , 埃琳娜·拉夫 :
数据库设计的基本问题。 53-69 雅罗斯拉夫·内塞特里 , 丹尼尔·图西克 :
求解和逼近组合优化问题(朝向MAX-CUT和TSP)。 70-85 佩卡·奥波宁 :
连续时间神经网络的计算能力。 86-103 克劳斯·维赫劳赫(Klaus Weihrauch) :
可计算分析的基础。 104-121 吉尔·维德曼 :
朝向能够思考的机器。 122-141 亨利克·沃兹尼亚科夫斯基 :
连续问题的计算复杂性。 142-143 Shmuel Zaks公司 :
ATM网络中的路径布局。 144-160
分布式并行计算
斯特凡·科瓦奇 , 托马斯·马盖丹兹 :
移动代理技术。 161-162 大卫·A·杜克 :
国际丰富分布式系统的理论与实践。 163-182 瓦莱里·伊斯萨尼 :
基于配置的编程系统。 183-200 普拉卡什·K·穆图克里希南 , 巴雷特·布莱恩特 :
从表示语义规范自动生成面向对象编程语言的并行编译器。 201-218
软件工程与方法
Dines Björner餐厅 :
正式软件工程范式:从领域到需求再到软件-正式规范和设计计算。 219-248 安妮·昆兹曼-康贝尔 :
软件过程改进的全貌。 249-265 沃尔夫冈·普雷 :
面向对象的设计模式。 266-274
数据库和信息系统
克劳斯·迪特里希 , 安德烈亚斯·格佩特 :
面向对象的DBMS及其他。 275-294 玛丽亚·奥洛斯卡 , 李辉 , 刘成飞 :
关系数据库系统和面向对象数据库系统的集成。 295-312 M.霍华德·威廉姆斯 , 诺曼·W·巴顿 :
从OO到演绎到活动数据库-ROCK、ROLL和RAP。 313-330 吉里·扎拉 :
虚拟现实建模语言简介。 331-348 吉里兹拉图斯卡 :
迈向信息社会的基石。 349-372
已投稿论文
卢卡·贝切蒂 , 卡洛·盖比索 :
ATM网络中虚拟路径布局问题的下限。 375-382 冰凝戴 , 大卫·A·贝尔 , 约翰·G·休斯 :
时态证据数据库中的查询处理。 383-390 克里斯蒂娜·德卡斯特罗 :
支持模式版本控制的时态关系数据库中用于并发检测的时态谓词锁定的第一种方法。 391-398 卡洛·盖比索 , 吉多·普罗埃蒂 :
在字典中有效地插入项目的近似排序序列。 399-406 巴勃罗·加尔达梅斯 , 弗朗西斯科·穆尼奥斯·埃斯科 , 何塞·M·伯纳贝-奥班 :
CORBA环境中的高可用性支持。 407-414 弗拉迪米尔·格拉斯纳克 :
关于NP-P中的f-稀疏集。 415-422 马库斯·霍夫 , 汉斯彼得·莫森博克 , 彼得·皮尔克鲍尔 :
使用元编程进行零开销执行处理。 423-431 简·贾努塞克 , 鲍里沃伊·梅利查 :
由LR Parsing指导的输出存储形式转换器。 432-439 吉里·卡德莱克 :
MATLAB 5下Alphas的并行处理。 440-447 彼得·科尔曼 :
重新审视要素差异的PRAM下限。 448-455 伊万·科佩切克 :
Codebook中搜索的最佳树。 456-463 拉斯蒂斯拉夫·克拉洛维奇 :
时间最优自稳定算法。 464-472 彼得·克罗哈 , M.斯特劳 :
需求规范与反向迭代组合。 473-480 安东·库塞拉 :
无限状态行为的有限表示。 481-488 萨尔瓦多·卢卡斯 :
使用替换限制的高效强序列性。 489-496 马西莫·马尔奇奥里 :
光学编码。 497-504 弗兰蒂斯克先生 , Martin Plátek公司 , 彼得·詹卡尔 , 约格·沃格尔 :
带重启操作的单调重写自动机。 505-512 Shan-Hwei Nienhuys-Cheng先生 , 阿里·德布鲁因 :
Kahn线性动态网络的定点特征。 513-522 卡雷尔·帕拉 , 帕维尔·里奇尔(Pavel Rychl) , 帕维尔·斯莫兹 :
DESAM-捷克语注释语料库。 523-530 伊万·彼得 :
CORBA中的移动性管理:生命周期服务的通用实现。 531-538 维姆·皮杰尔斯 , 阿里·德布鲁因 :
基于解树的博弈树理论。 539-546 海科·施罗德 , A.E.五月 , 伊姆里希·弗托 , 昂德雷·西科拉 :
顶点两分问题的近似算法。 547-554 海科·施罗德 , 昂德雷·西科拉 , 伊姆里希·弗托 :
一些产品图的全光通信。 555-562 大卫·斯特鲁普 , 罗曼·聂鲁达 :
并行化自组织地图。 563-570