Paul B. Thistlewaite

Publication Activity (10 Years)

Years Active: 1986-1999
Publications (10 Years): 0

Publications

David Hawking, Paul B. Thistlewaite, Donna Harman
Scaling Up the TREC Collection. Inf. Retr. 1 (1-2) (1999)
David Hawking, Nick Craswell, Paul B. Thistlewaite, Donna Harman
Results and Challenges in Web Search Evaluation. Comput. Networks 31 (11-16) (1999)
Nick Craswell, David Hawking, Paul B. Thistlewaite
Merging Results From Isolated Search Engines. Australasian Database Conference (1999)
David Hawking, Paul B. Thistlewaite
Methods for Information Server Selection. ACM Trans. Inf. Syst. 17 (1) (1999)
David Hawking, Nick Craswell, Paul B. Thistlewaite
Overview of TREC-7 Very Large Collection Track. TREC (1998)
David Hawking, Nick Craswell, Paul B. Thistlewaite
ACSys TREC-7 Experiments. TREC (1998)
David Hawking, Paul B. Thistlewaite, Nick Craswell
ANU/ACSys TREC-6 Experiments. TREC (1997)
David Hawking, Paul B. Thistlewaite
Overview of TREC-6 Very Large Collection Track. TREC (1997)
Paul B. Thistlewaite
Automatic Construction and Management of Large Open Webs. Inf. Process. Manag. 33 (2) (1997)
David Hawking, Paul B. Thistlewaite, Peter Bailey
ANU/ACSys TREC-5 Experiments. TREC (1996)
Paul B. Thistlewaite, Steve Ball
Active FORMs. Comput. Networks 28 (7-11) (1996)
David Hawking, Paul B. Thistlewaite
Proximity Operators - So Near And Yet So Far. TREC (1995)
David Hawking, Paul B. Thistlewaite
Searching For Meaning With The Help Of A PADRE. TREC (1994)
Paul B. Thistlewaite, Michael A. McRobbie
Approaching Hard Non-Classical Problems. J. Autom. Reason. 7 (4) (1991)
Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite
Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics. CADE (1988)
Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer
The KRIPKE Automated Theorem Proving System. CADE (1986)