Online resources of engineering design information are a critical resource for practicing engineers. These online resources often contain references and content associated with te...
Packetized data transmission is commonly used in wireless communication systems. Each packet starts with a preamble which is used to synchronize the receiver with carrier frequenc...
Abstract In this paper we present a new rule-based approach for consistency preserving view updating in deductive databases. Based on rule transformations performed during schema d...
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, O...
Relational databases are widely used today as a mechanism for providing access to structured data. They, however, are not suitable for typical information finding tasks of end use...