Sciweavers

LILOG
1989
14 years 21 days ago
Order Sorted Predicate Logic
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
Arnold Oberschelp
LILOG
1989
14 years 21 days ago
Representation and Reasoning with Attributive Descriptions
This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of att...
Bernhard Nebel, Gert Smolka
WMRD
1992
14 years 21 days ago
A Replicated Monitoring Tool
Modeling the reliability of distributed systems requires a good understanding of the reliability of the components. Careful modeling allows highly fault-tolerant distributed appli...
Darrell D. E. Long
WMRD
1992
14 years 21 days ago
Efficient Recovery in Harp
Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Pa...
WMRD
1992
14 years 21 days ago
Primarily Disconnected Operation: Experiences with Ficus
Ficus is a exible replication facility with optimistic concurrency control designed to span a wide range of scales and network environments. Support for partitioned operation is f...
John S. Heidemann, Thomas W. Page Jr., Richard G. ...
SIGIR
1992
ACM
14 years 21 days ago
Classifying News Stories using Memory Based Reasoning
ct tasks such as extraction of relational information from text [Young] [Jacobs]. We describe a method for classifying news stories using Alternative systems [Biebricher] [Lewis] u...
Brij M. Masand, Gordon Linoff, David L. Waltz
SIGIR
1992
ACM
14 years 21 days ago
Frame-Sliced Partitioned Parallel Signature Files
Fabio Grandi, Paolo Tiberio, Pavel Zezula
SIGIR
1992
ACM
14 years 21 days ago
A Faster Algorithm for Constructing Minimal Perfect Hash Functions
Our previous research on one-probe access to large collections of data indexed by alphanumeric keys has produced the first practical minimal perfect hash functions for this proble...
Edward A. Fox, Qi Fan Chen, Lenwood S. Heath