弗兰克·J·奥莱斯
人员信息
优化列表
2000 – 2009
2007 [公元10年] 弗兰克·J·奥莱斯 :
关于成为约翰·雷诺兹的学生。 西奥。 计算。 科学。 375 ( 1-3 ) : 346-350 ( 2007 ) 2005 [公元9年] 弗兰克·J·奥莱斯 :
先行-归纳模式和关系学习。 西奥。 计算。 科学。 342 ( 2-3 ) : 262-315 ( 2005 ) 2002 [j8] 大卫·约翰逊 , 弗兰克·J·奥莱斯 , 张彤(音译) , 蒂洛·戈茨 :
一个基于决策树的文本分类符号规则归纳系统。 IBM系统。 J。 41 ( 三 ) : 428-437 ( 2002 ) 2001 [j7] 张彤(音译) , 弗兰克·J·奥莱斯 :
基于正则化线性分类方法的文本分类。 信息检索。 4 ( 1 ) : 5-31 ( 2001 ) 2000 [j6] 弗兰克·J·奥莱斯 :
格理论在知识表示中的应用。 西奥。 计算。 科学。 249 ( 1 ) : 163-196 ( 2000 )
1990 – 1999
1999 [j5] 肖洛姆·M·维斯 , 奇丹和阿佩特 , 弗雷德·戴米劳 , 大卫·约翰逊 , 弗兰克·J·奥莱斯 , 蒂洛·戈茨 , 托马斯·汉普 :
最大限度地提高文本识别性能。 IEEE智能。 系统。 14 ( 4 ) : 63-69 ( 1999 ) 1996 【c8】 弗兰克·J·奥莱斯 , 埃里克·梅斯 , 罗伯特·魏达 :
K-Rep的代数本质。 描述逻辑 1996 : 182-184 【c7】 罗伯特·魏达 , 埃里克·梅斯 , 罗伯特·迪翁 , 迈尔湖人队 , 布莱恩·怀特 , 梁赤红 , 弗兰克·J·奥莱斯 :
K-Rep系统架构。 描述逻辑 1996 : 197-199 1995 【j4】 迈克尔·米斯洛夫 , 弗兰克·J·奥莱斯 :
域类别之间的毗邻关系。 芬丹。 信息学 22 ( 1/2 ) : 93-116 ( 1995 ) [j3] 迈克尔·米斯洛夫 , 弗兰克·J·奥莱斯 :
完全抽象和递归。 西奥。 计算。 科学。 151 ( 1 ) : 207-256 ( 1995 ) 1993 【c6】 罗伯特·迪翁 , 埃里克·梅斯 , 弗兰克·J·奥莱斯 :
描述逻辑中模型理论和结构假设的等价性。 国际JCAI 1993 : 710-717 1992 [注2] 弗兰克·J·奥莱斯 :
多排序代数的一个范畴何时是笛卡尔闭的? 发现的国际期刊。 计算。 科学。 三 ( 2 ) : 225-231 ( 1992 ) 【c5】 罗伯特·迪翁 , 埃里克·梅斯 , 弗兰克·J·奥莱斯 :
术语周期的非完备性方法。 AAAI公司 1992 : 761-766 【c4】 迈克尔·米斯洛夫 , 弗兰克·J·奥莱斯 :
完全抽象和非嵌套递归。 REX研讨会 1992 : 384-397 1991 [j1] 迈克尔·米斯洛夫 , 劳伦斯·莫斯 , 弗兰克·J·奥莱斯 :
作为理想不动点建模的非井底集。 Inf.计算。 93 ( 1 ) : 16-54 ( 1991 ) 【c3】 迈克尔·米斯洛夫 , 弗兰克·J·奥莱斯 :
支持天使非决定论和平行写作的简单语言。 MFPS公司 1991 : 77-101
1980 – 1989
1989 【c2】 迈克尔·米斯洛夫 , 劳伦斯·莫斯 , 弗兰克·J·奥莱斯 :
从理想不动点得到的非Well-Founded集。 低收入国家 1989 : 263-272 1987 【c1】 弗兰克·J·奥莱斯 :
没有Powerdomains的并发语义。 POPL公司 1987 : 211-222