Richard A. O'Keefe

34 papers A* 1A 2B 4C 1Misc 3Journal 14Unranked 9
YearRankTypeTitle / Venue / Authors
2017 — conf
Volume Lens: Exploring Medical Volume Datasets Using Mobile Devices.
ISMAR Adjunct
Chris Heinrich, Tobias Langlotz, Richard A. O'Keefe
2016 — conf
Building object oriented programs out of pieces.
ICOOOLPS@ECOOP
Richard A. O'Keefe
2013 A conf
Maintaining discriminatory power in quantized indexes.
CIKM
Matt Crane, Andrew Trotman, Richard A. O'Keefe
2013 Misc conf
Malformed UTF-8 and spam.
ADCS
Matt Crane, Andrew Trotman, Richard A. O'Keefe
2012 Misc conf
A study in language identification.
ADCS
Rachel Mary Milne, Richard A. O'Keefe, Andrew Trotman
2012 J jnl
Coding guidelines for Prolog.
Theory Pract. Log. Program.
Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price
2012 — conf
Inference of a Phylogenetic Tree: Hierarchical Clustering versus Genetic Algorithm.
Australasian Conference on Artificial Intelligence
Glenn Blanchette, Richard A. O'Keefe, Lubica Benuskova
2010 Misc conf
Advantages and vulnerabilities of pull-based email-delivery.
AISC
Natascha Chrobok, Andrew Trotman, Richard A. O'Keefe
2009 J jnl
Coding Guidelines for Prolog
CoRR
Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price
2008 C conf
Application-Specific Disk I/O Optimisation for a Search Engine.
PDCAT
Xiangfei Jia, Andrew Trotman, Richard A. O'Keefe, Zhiyi Huang
2008 J jnl
Mining interesting imperfectly sporadic rules.
Knowl. Inf. Syst.
Yun Sing Koh, Nathan Rountree, Richard A. O'Keefe
2006 J jnl
Element Retrieval Using a Passage Retrieval Approach.
Aust. J. Intell. Inf. Process. Syst.
Weihua Huang, Andrew Trotman, Richard A. O'Keefe
2006 J jnl
Finding Non-Coincidental Sporadic Rules Using Apriori-Inverse.
Int. J. Data Warehous. Min.
Yun Sing Koh, Nathan Rountree, Richard A. O'Keefe
2006 B conf
Mining Interesting Imperfectly Sporadic Rules.
PAKDD
Yun Sing Koh, Nathan Rountree, Richard A. O'Keefe
2004 — conf
If INEX Is the Answer, What Is the Question?
INEX
Richard A. O'Keefe
2004 J jnl
O(1) Reversible Tree Navigation Without Cycles
CoRR
Richard A. O'Keefe
2003 — conf
Identifying and Ranking Relevant Document Elements.
INEX
Andrew Trotman, Richard A. O'Keefe
2003 — conf
The simplest query language that could possibly work.
INEX
Andrew Trotman, Richard A. O'Keefe
2001 J jnl
O(1) reversible tree navigation without cycle.
Theory Pract. Log. Program.
Richard A. O'Keefe
1989 J jnl
Solving Symbolic Equations with PRESS.
J. Symb. Comput.
Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver
1988 J jnl
Commentary on: solving symbolic equations with PRESS.
SIGSAM Bull.
Richard J. Fateman, Alan Bundy, Richard A. O'Keefe, Leon Sterling
1987 B conf
Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code.
ICLP
Timothy G. Lindholm, Richard A. O'Keefe
1987 B conf
Finite Fixed-Point Problems.
ICLP
Richard A. O'Keefe
1986 J jnl
A coment on "A hardware unification unit: design and analysis, ".
SIGARCH Comput. Archit. News
Nam Sung Woo, Richard A. O'Keefe
1985 J jnl
Alternatives to keyword parameters.
ACM SIGPLAN Notices
Richard A. O'Keefe
1985 J jnl
Finding smallTalk methods.
ACM SIGPLAN Notices
Richard A. O'Keefe
1985 — conf
On the Treatment of Cuts in Prolog Source-Level Tools.
SLP
Richard A. O'Keefe
1985 — conf
Towards an Algebra for Constructing Logic Programs.
SLP
Richard A. O'Keefe
1984 A conf
A New Data-Structure for Type Trees.
ECAI
Richard A. O'Keefe
1984 J jnl
A Polymorphic Type System for Prolog.
Artif. Intell.
Alan Mycroft, Richard A. O'Keefe
1983 B conf
A Polymorphic Type System for Prolog.
Logic Programming Workshop
Alan Mycroft, Richard A. O'Keefe
1983 A* conf
Concept Formation From Very Large Training Sets.
IJCAI
Richard A. O'Keefe
1983 J jnl
Prolog compared with LISP?
ACM SIGPLAN Notices
Richard A. O'Keefe
1982 — conf
Solving Symbolic Equations with PRESS.
EUROCAM
Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver