Paul B. Thistlewaite

According to our database, Paul B. Thistlewaite authored at least 17 papers between 1986 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1999

Methods for Information Server Selection.

David Hawking, Paul B. Thistlewaite

ACM Trans. Inf. Syst., 1999

Scaling Up the TREC Collection.

David Hawking, Paul B. Thistlewaite, Donna Harman

Inf. Retr., 1999

Results and Challenges in Web Search Evaluation.

David Hawking, Nick Craswell, Paul B. Thistlewaite, Donna Harman

Comput. Networks, 1999

Merging Results From Isolated Search Engines.

Nick Craswell, David Hawking, Paul B. Thistlewaite

Proceedings of the Database Systems 99, 1999

1998

ACSys TREC-7 Experiments.

David Hawking, Nick Craswell, Paul B. Thistlewaite

Proceedings of The Seventh Text REtrieval Conference, 1998

Overview of TREC-7 Very Large Collection Track.

David Hawking, Nick Craswell, Paul B. Thistlewaite

Proceedings of The Seventh Text REtrieval Conference, 1998

1997

Automatic Construction and Management of Large Open Webs.

Paul B. Thistlewaite

Inf. Process. Manag., 1997

ANU/ACSys TREC-6 Experiments.

David Hawking, Paul B. Thistlewaite, Nick Craswell

Proceedings of The Sixth Text REtrieval Conference, 1997

Overview of TREC-6 Very Large Collection Track.

David Hawking, Paul B. Thistlewaite

Proceedings of The Sixth Text REtrieval Conference, 1997

1996

Active FORMs.

Paul B. Thistlewaite, Steve Ball

Comput. Networks, 1996

ANU/ACSys TREC-5 Experiments.

David Hawking, Paul B. Thistlewaite, Peter Bailey

Proceedings of The Fifth Text REtrieval Conference, 1996

1995

Proximity Operators - So Near And Yet So Far.

David Hawking, Paul B. Thistlewaite

Proceedings of The Fourth Text REtrieval Conference, 1995

1994

Searching For Meaning With The Help Of A PADRE.

David Hawking, Paul B. Thistlewaite

Proceedings of The Third Text REtrieval Conference, 1994

1991

Approaching Hard Non-Classical Problems.

Paul B. Thistlewaite, Michael A. McRobbie

J. Autom. Reason., 1991

1988

Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics.

Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite

Proceedings of the 9th International Conference on Automated Deduction, 1988

Automated theorem-proving in non-classical logics.

Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer

Research Notes in Theoretical Computer Science, Pitman, ISBN: 978-0-273-08781-6, 1988

1986

The KRIPKE Automated Theorem Proving System.

Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986