爱德华·L·威默斯
人员信息
优化列表
2000 – 2009
2000 [j8] 罗纳德·费金 , 爱德华·L·威默斯 :
将权重纳入评分规则的公式。 西奥。 计算。 科学。 239 ( 2 ) : 309-338 ( 2000 ) [第19条] 拉凯什·阿格拉瓦 , 爱德华·L·威默斯 :
表达和组合偏好的框架。 SIGMOD会议 2000 : 297-306
1990 – 1999
1999 [j7] 劳拉·哈斯 , 雷内·米勒 , B.尼斯旺格 , 玛丽·托克·罗斯 , 彼得·施瓦兹 , 爱德华·L·威默斯 :
使用数据库中间件转换异构数据:超越集成。 IEEE数据工程牛。 22 ( 1 ) : 31-36 ( 1999 ) [j6] 亚历山大·艾肯 , 爱德华·L·威默斯 , 延斯·帕尔斯伯格 :
具有子类型的多态类型的最优表示。 高。 订购符号。 计算。 12 ( 三 ) : 237-282 ( 1999 ) [第18条] 爱德华·L·威默斯 , 劳拉·哈斯 , 玛丽·托克·罗斯 , 克里斯托夫·布兰德利 :
在多媒体中间件中使用费金算法合并排名结果。 CoopIS公司 1999 : 267-278 1997 [第17条] 罗纳德·费金 , 爱德华·L·威默斯 :
在多媒体查询中合并用户首选项。 ICDT公司 1997 : 247-261 [第16条] 亚历山大·艾肯 , 爱德华·L·威默斯 , 延斯·帕尔斯伯格 :
带子类型的多态类型的最优表示(扩展抽象)。 节气门执行器控制系统 1997 : 47-76 [第15条] 劳拉·哈斯 , 唐纳德·科斯曼 , 爱德华·L·威默斯 , 杨军(Jun Yang) :
跨不同数据源优化查询。 超大规模数据库 1997 : 276-285 1996 [j5] 劳拉·哈斯 , 唐纳德·科斯曼 , 爱德华·L·威默斯 , 杨军(Jun Yang) :
具有非标准数据和搜索功能的异构系统的优化器。 IEEE数据工程牛。 19 ( 4 ) : 37-44 ( 1996 ) [第14条] 玛丽·托克·罗斯 , 曼尼什·阿里亚 , 劳拉·哈斯 , 迈克尔·凯里 , 威廉·科迪 , 罗纳德·费金 , 彼得·施瓦兹 , 约阿希姆·托马斯 , 爱德华·L·威默斯 :
大蒜项目。 SIGMOD会议 1996 : 557 1995 【j4】 约瑟夫·哈珀(Joseph Y.Halpern) , 爱德华·L·威默斯 :
FP的完全抽象和表达完全性。 Inf.计算。 118 ( 2 ) : 246-271 ( 1995 ) [j3] 亚历山大·艾肯 , 德克斯特·科赞 , 爱德华·L·威默斯 :
负约束集约束系统的可判定性。 Inf.计算。 122 ( 1 ) : 30-44 ( 1995 ) [注2] 亚历山大·艾肯 , 约翰·威廉姆斯 , 爱德华·L·威默斯 :
安全:一种在出现错误时转换程序的语义技术。 ACM事务处理。 程序。 语言系统。 17 ( 1 ) : 63-84 ( 1995 ) [第13条] M.阿巴扬 , 雷·斯特朗 , 爱德华·L·威默斯 :
RAPID C++环境(摘要)。 PODC公司 1995 : 258 [c12] 迈克尔·凯里 , 劳拉·哈斯 , 彼得·施瓦兹 , 曼尼什·阿里亚 , 威廉·科迪 , 罗纳德·费金 , 迈伦·弗利克纳 , 阿伦·卢涅夫斯基 , 韦恩·尼布莱克 , 德拉古廷·佩特科维奇 , 约阿希姆·托马斯 , 约翰·威廉姆斯 , 爱德华·L·威默斯 :
面向异构多媒体信息系统:大蒜方法。 骑行-DOM 1995 : 124-131 [第11条] 威廉·科迪 , 劳拉·哈斯 , 韦恩·尼布莱克 , 曼尼什·阿里亚 , 迈克尔·凯里 , 罗纳德·费金 , 迈伦·弗利克纳 , 李明恂 , 德拉古丁·佩特科维奇 , 彼得·施瓦兹 , 约阿希姆·托马斯 , 玛丽·托克·罗斯 , 约翰·威廉姆斯 , 爱德华·L·威默斯 :
按内容查询多个存储库中的多媒体数据:大蒜项目。 德国船级社 1995 : 17-35 [第10条] 拉凯什·阿格拉瓦 , 朱塞佩·普赛拉 , 爱德华·L·威默斯 , 穆罕默德·扎伊特 :
查询历史形状。 超大规模数据库 1995 : 502-514 1994 【c9】 亚历山大·艾肯 , 爱德华·L·威默斯 , T.K.拉克希曼 :
使用条件类型的软键入。 POPL公司 1994 : 163-173 1993 【c8】 亚历山大·艾肯 , 德克斯特·科赞 , Moshe Y.瓦尔迪 , 爱德华·L·威默斯 :
集合约束的复杂性。 CSL公司 1993 : 1-17 【c7】 亚历山大·艾肯 , 爱德华·L·威默斯 :
类型包含约束和类型推断。 FPCA公司 1993 : 31-41 1992 【c6】 亚历山大·艾肯 , 爱德华·L·威默斯 :
求解集合约束系统(扩展抽象)。 低收入国家 1992 : 329-340 1990 [j1] 约瑟夫·哈珀(Joseph Y.Halpern) , 约翰·威廉姆斯 , 爱德华·L·威默斯 :
FP重写规则和重写策略的完整性。 美国临床医学杂志 37 ( 1 ) : 86-143 ( 1990 ) 【c5】 亚历山大·艾肯 , 约翰·威廉姆斯 , 爱德华·L·威默斯 :
存在错误时的程序转换。 POPL公司 1990 : 210-217
1980 – 1989
1988 【c4】 约翰·威廉姆斯 , 爱德华·L·威默斯 :
为了方便而牺牲简单:你在哪里划界? POPL公司 1988 : 169-179 1987 【c3】 约瑟夫·哈珀(Joseph Y.Halpern) , 爱德华·L·威默斯 :
FP的完整抽象和表达完整。 低收入国家 1987 : 257-271 1986 【c2】 约瑟夫·哈珀(Joseph Y.Halpern) , 约翰·威廉姆斯 , 爱德华·L·威默斯 :
FP的良好重写策略。 低收入国家 1986 : 149-162 1985 【c1】 约瑟夫·哈珀(Joseph Y.Halpern) , 约翰·威廉姆斯 , 爱德华·L·威默斯 , 蒂莫西·温克勒 :
FP的表示语义和重写规则。 POPL公司 1985 : 108-120 [i2] 马文·所罗门 , 爱德华·L·威默斯 :
Telnet终端类型选项。 副本请求 930 : 1-4 ( 1985 ) 1983 [i1] 马文·所罗门 , 爱德华·L·威默斯 :
Telnet终端类型选项。 副本请求 884 : 1-5 ( 1983 )