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 ...
This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of att...
Modeling the reliability of distributed systems requires a good understanding of the reliability of the components. Careful modeling allows highly fault-tolerant distributed appli...
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. ...
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...
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...