CoRR,2001年1月
豪尔赫·莫雷 :
优化软件中的自动区分工具。 大卫·J·穆雷 , 戴尔·E·帕森 :
使用OCL和JDI在Java中进行自动调试。 费德里科·丰塔纳 , 大卫·罗切索 :
弹性介质中二维波传播模型波导网格几何的信号理论表征。 Kevin K.H.Cheung(Kevin K.H.Cheung) , 米歇尔·莫斯卡 :
分解有限阿贝尔群。 雷蒙德·史密斯 , Bogdan Korel公司 :
大型软件系统的切片事件跟踪。 马歇尔·W·伯恩 , 大卫·艾普斯坦 :
信息可视化和网格化的最优Moebius变换。 米哈伊尔·奥古斯顿 :
基于事件跟踪计算的C编程语言断言检查器。 阿卜杜拉·穆赫德·辛 , 赛义德·艾哈迈德·阿尔朱尼德 , 扎里娜·舒库尔 , 穆罕默德·扬·诺丁 :
学习系统中基于知识的自动调试器。 安杰尔·赫兰兹·尼娃 , 胡安·何塞·莫雷诺-纳瓦罗 :
逻辑前置和后置条件的生成和调试。 明扬考 , 德华林 , Wing-Kin Sung(Wing-Kin-Sung) , 兴丰亭 :
一种通过非平衡二分匹配比较树的更快、更统一的算法。 明扬考 :
多个大小的分治周期。 保罗·希尔德雷思 , 金布尔 , 彼得·赖特 :
分布式国际环境中的实践社区。 托马斯·汉津格 , 鲁帕克·马朱姆达尔 , Jean-François Raskin女士 :
符号转换系统的分类。 Zbigniew Lonc公司 , 米罗斯瓦·特鲁兹琴斯基 :
关于计算基础良好的语义的问题。 詹姆斯·阿斯普内斯 , 朱莉娅·哈特林 , 明扬考 , 金俊雄(Junhyong Kim) , 高利·沙阿 :
大标准模型中蛋白质序列设计和景观分析的组合工具箱。 陈婷 , 高明扬 , 马修·特佩尔 , 约翰·拉什 , 乔治·M·丘奇 :
串联质谱法测定De Novo肽序列的动态规划方法。 乌尔里希·乌尔特斯·尼切 , 皮埃尔·沃尔珀 :
检查公平性和行为抽象中的属性。 史蒂芬本森 , 路易斯·麦克因斯 , 豪尔赫·莫雷 :
GPCG:优化算法的性能和可扩展性案例研究。 马库斯·赫特 :
通用序列预测的一般损失界。 Jörn Müller-Quade公司 , 伊迈英基 :
具有不经意传输的更健壮的多方协议。 新河 , 明扬考 , 吕学一 :
图的信息理论最优编码的一种快速通用方法。 安娜丽莎·博西 , 桑德罗·埃塔利 , 萨比娜·罗西 , Jan-Georg Smaus公司 :
具有动态调度的简单模式逻辑程序的语义和终止。 安娜丽莎·博西 , 桑德罗·埃塔利 , 萨比娜·罗西 :
输入消耗派生的属性。 明扬考 , 斯蒂芬·泰特 :
在线差异最大化。 埃娜·扎法内拉 , 帕特里夏·M·希尔 , 罗伯托·巴格纳拉 :
通过互补分解非冗余共享。 佩特格拉奇 :
确定性计算,其历史与异步更新的顺序无关。 西蒙华纳 :
在arXiv开发和实施开放档案计划协议。 明扬考 , 袁马 , 迈克尔·西普塞 , Yiqun Lisa Yin Yi群尹丽莎 :
混合算法的最优构造。 保罗·M·青木 , 艾米·赫斯特 , 艾利森·伍德拉夫 :
轻触提示:轻量级发现触摸屏目标。 高明扬 :
树收缩和进化树。 明扬考 , 德华林 , Wing-Kin Sung(Wing-Kin-Sung) , 兴丰亭 :
腔匹配、标签压缩和无根进化树。 明扬考 :
交叉表中分析不变量信息的完全保护。 新河 , 明扬考 , 吕学一 :
基于规范排序的平面图线性时间简洁编码。 明扬考 :
数据安全性等于图形连接性。 艾利森·伍德拉夫 , 保罗·M·青木 , 艾米·赫斯特 , 玛格丽特·希曼斯基 :
指南、朋友和房间:游客在历史建筑中的体验。 蔡特 , 保罗·M·B·维坦伊 :
广义普遍化定律。 克劳斯·O·威尔克 :
中性网络上的自适应进化。 哈里·布尔曼 , 约翰·特隆普 , 保罗·M·B·维坦伊 :
可逆模拟的时间和空间界限。