- 1 BAR-HIm, EL, Y. The mechanization of literature searching. The Mechanization of Thought Processes, Paper 4-8, Nat. Physical Lab., Syrup. No. 10, Her Majesty's Stationery Office, London, 1959.Google Scholar
- 2 - . Some theoretical aspects of the mechanization of literature searching. Hebrew U., Jerusalem, 1960; Astia No. AD 236772.Google Scholar
- 3 BAXENDAL, P. Machine-made index for technical literature--an experiment. IBM J. Res. Develop. Z, 4 (Oct. 1958), 354.Google Scholar
- 4 BERNIER, C. Correlative indexes VI: serendipity, suggestiveness, and display. Am. Documentation 11, 4 (Oct. 1960), 277-287.Google Scholar
- 5 BORKO, h. AND BERNICK, M. D. Automatic document classification. J. ACM 10, 2 (Apr. 1963), 151-162. Google Scholar
- 6 CLEVERDON, C. Report on the testing and analysis of an investigation into the comparative efficiency of indexing systems. Aslib; Cranfield Res. Proj, Cranfield, England, 1962.Google Scholar
- 7 EDlVIUNDSON, H. P. AND WYLLYS, R. E. Automatic abstracting and indexing. Comm. ACM 8, 5 (May 1961). Google Scholar
- 8 FELS, E.M. Evaluation of the performance of an information retrieval system by modified Mooers plan. Am. Documentagon 15, 1 (Jan. 1963), 28-34.Google Scholar
- 9 GIULIANO, V. E. AND JONES, P.E. Linear associative information retrieval. In Vistas in Information Handling, Vol. 1, Ch. 2. Howerton and Weeks, Eds. Spartan Books, Washington, D. C., 1963.Google Scholar
- 10 HARRIS, Z. S. Linguistic transformations for information retrieval. Proc. Internat. Conf. Scientific Inform., Washington, D. C., 1959, p. 937. Nat. Aead. Sciences-Nat. Res. Council.Google Scholar
- 11 KEHL, W. B. AND HORTr, J. F. ET XL. An information retrieval language for legal studies. Comm. ACM 4, 9 (Sept. 1961), 380. Google Scholar
- 12 KSSLER M. NI. Bibliographic coupling between scientific papers. Reps. R1 ft., I.I.T. Libraries, Nov. 1961 ft.Google Scholar
- 13 KUNO, S. AND OETTINGER, A. Multiple-path syntactic analyzer. Preprints and Proc. Conf. of the Internat. Fed. Inform. Proc. Soc., Munich, 1962.Google Scholar
- 14 LWlN, H. P. A statistical approach to mechanized encoding and searching of literary information. IBM J. Res. Develop. I, 4 (Oct. 1957).Google Scholar
- 15 --. Potentialities of auto-encoding of scientific literature. IBM Res. Center, Yorktown Heights, N. Y., 1959.Google Scholar
- 16 --. The automatic creation of literature abstracts. IBM J. Res. Develop. 2, 2 (Apr. 1958), 159-165.Google Scholar
- 17 MARON, M. E. AND KUgNS, J.L. On relevance, probabilistic indexing and information retrieval. J. ACM 7, 3 (July 1960), 216-240. Google Scholar
- 18 MACON, M.E. Automatic indexing: an experimental inquiry. J. ACM 8, 3 (July 1961). Google Scholar
- 19 VIONTGOMERY, C. AND SWANSON, D.R. Machinelike indexing by people. Am. Documentation 18, 4 (Oct. 1962), 359-366.Google Scholar
- 20 NEDgAM, ROGER. A method for using computers in information classification. Preprints and Proc. Conf. Internat. Fed. Inform. Proc. Soe., Munich, 1962.Google Scholar
- 21 O'CONNOa, J. Some remarks on mechanized indexing and some small-scale empirical results. Machine indexing, pp. 262-279, American U., 1962. A longer report, "Mechanized Indexing" is Astia No. AD250209, available from the author.Google Scholar
- 22 SLTON, G. Some experiments in the generation of word and document associations. Proc. AFIPS Fall Joint Comput. Conf., pp. 234-250. Spartan Books, Washington, D. C., 1962.Google Scholar
- 23 STILES, H .E . The association factor in information retrieval. J. ACM 8, 2 (Apr. 1961), 271-279. Google Scholar
- 24 STOR, E. Some experimental procedures for the identification of information content. In Information Storage and Retrieval, SR-1, Computation Lab., Harvard U., Nov. 1961, pp. I-1 to I-3.Google Scholar
- 25 SWANSON, D.R. Searching natural language text by computer. Science I82, 34 (Oct. 1960), 1099.Google Scholar
- 26 --. Interrogating a computer in natural language. Preprints and Pron. Conf. Internat. Fed. Inform. Proe. Soe., Munich, 1962.Google Scholar
- 27 Research procedures for automatic indexing. In Machine Indexing, pp. 281-304, American U., 1962.7Google Scholar
Index Terms
- Mechanized Indexing Methods and Their Testing
Recommendations
Efficient Indexing Methods for Temporal Relations
The primary issues that affect the design of indexing methods are examined, and several structures and algorithms for specific cases are proposed. The append-only tree (AP-tree) structure indexes data for append-only databases to help event-join ...
Testing methods for X-machines: a review
AbstractThe X-machine testing method has been developed as an application of the W-method to testing the control structure of an implementation, against a specification. The method was proven to demonstrate the equivalence of the behaviour of the two, ...
Mechanised support for sound refinement tactics
AbstractArcAngel is a tactic language devised to facilitate and automate program developments using Morgan’s refinement calculus. It is especially well suited for the specification of high-level refinement strategies, and equipped with a formal semantics ...
Comments