ACM DL

Information Systems (TOIS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Information Systems (TOIS), Volume 13 Issue 3, July 1995

Knowledge-based document retrieval in office environments: the Kabiria system
Augusto Celentano, Maria Grazia Fugini, Silvano Pozzi
Pages: 237-268
DOI: 10.1145/203052.203056
In the office environment, the retrieval of documents is performed using the concepts contained in the documents, information about the procedural context where the documents are used, and information about the regulations and laws that...

Templar: a knowledge-based language for software specifications using temporal logic
Alexander Tuzhilin
Pages: 269-304
DOI: 10.1145/203052.203061
A software specification language Templar is defined in this article. The development of the language was guided by the following objectives: requirements specifications written in Templar should have a clear syntax and formal semantics, should...

Fractal views: a fractal-based method for controlling information display
Hideki Koike
Pages: 305-323
DOI: 10.1145/203052.203065
Computer users often must view large amounts of information through video displays which are physically limited in size. Although some methods, which automatically display/erase information units based on their degrees of importance, have been...

A network approach to probabilistic information retrieval
K. L. Kwok
Pages: 324-353
DOI: 10.1145/203052.203067
In this article we show how probabilistic information retrieval based on document components may be implemented as a feedforward (feedbackward) artificial neural network. The network supports adaptation of connection weights as well as the...

On deductive databases with incomplete information
Q. Kong, G. Chen
Pages: 354-370
DOI: 10.1145/203052.203074
In order to extend the ability to handle incomplete information in a definite deductive database, a Horn clause-based system representing incomplete information as incomplete constants is proposed. By using the notion of incomplete constants the...