CoRR,2000年11月
藤井忠寿 , 石川哲也 :
利用万维网作为百科全书:从半结构化文本中提取术语描述。 藤井忠寿 , 石川哲也 :
一种基于新颖性的信息检索评价方法。 藤井忠寿 , 石川哲也 :
机器翻译在两阶段跨语言信息检索中的应用。 Jörn Müller-Quade公司 , 伊迈英基 :
匿名不经意传输。 米歇尔·朗塞 , Koenraad De Bosschere公司 :
使用执行回放的非侵入式实时数据竞争检测。 米歇尔·朗塞 , Koenraad De Bosschere公司 , 雅克·查辛·德·科贡缪 :
执行回放和调试。 哈利尔·西马安 :
树图分析:词汇依赖和结构关系。 Manfred Schmidt Schauß , 迈克尔·休伯 :
具有letrec、case、构造函数和非确定性的Lambda-Calculus。 大卫·艾普斯坦 :
小的最大独立集和更快的精确图着色。 戴尔·E·帕森 , 布莱恩·施利德 , 保罗·贝蒂 :
嵌入式系统调试的扩展语言自动化。 非交换有理函数 , 吕克·博阿松 :
XML语法和语言的形式化性质。 约瑟夫·哈珀(Joseph Y.Halpern) , 朱迪亚·珀尔 :
原因和解释:结构模型方法,第一部分:原因。 斯特凡·布拉斯 , 尤尔根·迪克斯 , Burkhard Freitag公司 , 乌尔里希·祖科夫斯基 :
基于转换的井底模型自底向上计算。 乔治·刘勇(George Yong Liu) , 雷·F·张 , 开尔文·徐(Kelvin Hsu) , 劳伦斯·卡米莱蒂 :
HDP和共形CVD薄膜的芯片级CMP建模和智能仿真。 明扬考 , 德华林 , Wing-Kin Sung(Wing-Kin-Sung) , 兴丰亭 :
最大权二部匹配的分解定理。 明扬考 , 斯蒂芬·泰特 :
设计股票市场指数的代理很难计算。 约翰·舒曼 :
UML设计的自动调试支持。 陈海伊(Gen-Huey Chen) , 明扬考 , Yuh-Dauh Lyuu公司 , 黄兴国 :
日回报有限的金融市场最优买入和持有策略。 克里斯蒂安·格拉(Christian Glaßer) , A.Hemaspandra巷 :
完美澄清时刻II:稀疏集对弱约简NP困难的后果。 诺伯特·布洛克 :
语法工程中仪器的使用。 莱蒙达斯·伦塞维修斯 :
基于查询的即时调试及示例。 莱蒙达斯·伦塞维修斯 , 亚历山大·兰 , 拉哈夫·亚伊里 :
使用第三眼跟踪Apache Web服务器执行。 明扬考 , 齐俊峰 , 雷坛 :
多目标拍卖中防止作弊的最优竞价算法。 萨拉科恩 , 维尔纳·纳特 , 亚历山大·塞雷布雷尼克 :
使用视图重写聚合查询的算法。 亚历山大·塞雷布雷尼克 , 丹尼·德·施雷耶 :
使用可接受性和一般术语顺序对逻辑程序进行终止分析。 埃丝特·M·阿金 , 迈克尔·本德 , 埃里克·D·德曼 , 马丁·L·德曼 , 约瑟夫·S·B·米切尔 , 索拉巴·塞提亚 , 史蒂芬·斯杰纳 :
什么时候可以折叠地图? Cristinel Mateis公司 , 马库斯·斯图普特纳 , 多米尼克·威兰德 , 弗兰兹·沃塔瓦 :
Java程序的基于模型的调试。 大卫·埃尔沃西 :
使用自然语言处理从字幕图像数据库检索。 Yohei Ikezoe先生 , 佐佐木明 , 大岛吉吉 , 肯·瓦基塔 , 马萨塔卡·萨萨 :
属性语法的系统调试。 尼古拉·佩洛夫 , 艾曼纽尔·德莫特 , 马克·德内克 :
表示和解决约束满足问题的逻辑编程方法:比较。 N.吉廖利 , 安德烈亚·萨尔特利 :
SimLab 1.1,灵敏度和不确定性分析软件,声音建模工具。 Hendrik Blockeel公司 , 吕克·德·雷德 , 简·拉蒙 :
聚类树的自顶向下诱导。 雷蒙德·科萨拉 , 亨德里克·布洛克 :
Web挖掘研究:一项调查。 斯文·威尔多拉吉(Sven Verdoolaege) , 马克·德内克 , 内斯·谢尔肯斯 , 丹尼·德·施雷耶 , 弗兰克·范·伊恩德 :
通过溯因推理对时间信息进行语义解释。 斯文·威尔多拉吉(Sven Verdoolaege) , 马克·德内克 , 弗兰克·范·伊恩德 :
利用时间信息进行诱因推理。 纳丘姆·德肖维茨 , 娜奥米·林登斯特劳斯 , 叶霍舒亚·萨吉夫 , 亚历山大·塞雷布雷尼克 :
包含算术谓词的程序的自动终止分析。 克劳斯·埃利格 , 赫尔穆特·施维赫滕贝格 :
非增倍多项式时间计算的语法分析。 米克洛斯·库罗斯 , 明扬考 :
通过调和贪婪三元组快速准确地恢复进化树。 Mariangiola Dezani-Ciancaglini公司 , 福里奥·霍塞尔 , 法比奥·阿莱西 :
完全交集类型理论的完整表征。 伦斯·博德 :
所有碎片都有价值吗? 萨拉科恩 , Yaron Kanza公司 , 雅科夫·A·科根 , 沃纳·纳特 , 叶霍舒亚·萨吉夫 , 亚历山大·塞雷布雷尼克 :
EquiX-一种用于XML的搜索和查询语言。 哈德森·特纳 :
订单一致的程序谨慎地单调。 Horatiu Cirstea公司 :
重写微积分:基础与应用。 亨德里克·布洛克 , 吕克·德·雷德 , 尼科·雅各布斯 , 巴特·德梅恩 :
通过从解释中学习来扩展归纳逻辑编程。 塔尼亚·伯格·沃尔夫 , 爱德华·莱因戈尔德 :
故障下多信道通信的索引分配。 特德·赫尔曼 , 藤泽俊美(Toshimitsu Masuzawa) :
可用稳定堆。 费德里科·里奇·泰辛吉 , 马丁·维格特 , 里卡多·泽奇纳 :
最简单的随机K可满足性问题。 阿纳戈罗斯·帕帕乔治奥 , 约瑟夫·特劳布 :
快速评估多维积分。 维姆凡大坝 , 肖恩·霍尔格伦 :
移位二次特征问题的有效量子算法。 尤根·施密杜贝尔(Jürgen Schmidhuber) :
万物算法理论。
![](https://dblp.org/img/cog.dark.24x24.png)