Electronic publishing brings about some substantial shifts in technological as well as socio-political patterns that were in place during the era of paper publications. The tensio...
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
Geographic information technologies (GIT) have the potential to integrate information among multiple organizations. In fact, some of the most impressive advantages of using geo-sp...
Most real-world database applications manage temporal data, i.e., data with associated time references that capture a temporal aspect of the data, typically either when the data i...
Despite the fact that many symbolic and connectionist (neural net) learning algorithms are addressing the same problem of learning from classified examples, very little Is known r...
Raymond J. Mooney, Jude W. Shavlik, Geoffrey G. To...