A stochastic model of an information center

Stochastic model for computerized information handling facility with finite capacit

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

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

On the number of trees with n terminal nodes

Number of trees with arbitrary number of terminal node

Analysis of data processing systems

Mathematical simulation models and software monitoring of multiprogramming computer syste

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

Bibliography and KWIC index on mechanical theorem proving and its application

How to Complete an Interactive Configuration Process?

When configuring customizable software, it is useful to provide interactive tool-support that ensures that the configuration does not breach given constraints. But, when is a configuration complete and how can the tool help the user to complete it? We formalize this problem and relate it to concepts from non-monotonic reasoning well researched in Artificial Intelligence. The results are interesting for both practitioners and theoreticians. Practitioners will find a technique facilitating an interactive configuration process and experiments supporting feasibility of the approach. Theoreticians will find links between well-known formal concepts and a concrete practical application.Comment: to appear in SOFSEM 201

A Logic-Based Approach to Data Integration

An important aspect of data integration involves answering queries using various resources rather than by accessing database relations. The process of transforming a query from the database relations to the resources is often referred to as query folding or answering queries using views, where the views are the resources. We present a uniform approach that includes as special cases much of the previous work on this subject. Our approach is logic-based using resolution. We deal with integrity constraints, negation, and recursion also within this framework. (Also cross-listed as UMOIACS-TR-2000-61