Key word in context index and bibliography on computer systems evaluation techniques

Selected bibliography of information pertinent to computer system

Key word in context index and bibliography on computer systems simulation and evaluation

Index program for bibliography on systems evaluation, simulation languages, mathematical models, and computer simulation technique

A stochastic model of an information center

Stochastic model for computerized information handling facility with finite capacit

On the number of trees with n terminal nodes

Number of trees with arbitrary number of terminal node

Outline bibliography, and KWIC index on mechanical theorem proving and its applications

Bibliography and KWIC index on mechanical theorem proving and its application

Global parallel unification for large question-answering systems

An efficient means of storing data in a first-order predicate calculus theorem-proving system is described. The data structure is oriented for large scale question-answering (QA) systems. An algorithm is outlined which uses the data structure to unify a given literal in parallel against all literals in all clauses in the data base. The data structure permits a compact representation of data within a QA system. Some suggestions are made for heuristics which can be used to speed-up the unification algorithm in systems

An analysis of some graph theoretical cluster techniques

Graph theoretic cluster techniques for automatic generation of information retrieval systems thesaur

Analysis of data processing systems

Mathematical simulation models and software monitoring of multiprogramming computer syste

Learning Rules from User Behaviour

Accepted versio