This paper addresses the problem of test response compaction. In order to maximize compaction ratio, a single-output encoder based on check matrix of a (n, n1, m, 3) convolutional...
Abstract-We present a new form of quantitative safety analysis safety optimization. This method is a combination of fault tree analysis(FTA) and mathematical optimization technique...
Abstract. Outermost-needed rewriting/narrowing is a sound and complete optimal demand-driven strategy for the class of inductively sequential constructor systems. Its parallel exte...
We introduce Xeek, a method for managing XML documents using relational databases. Most previous proposals in which the XPath axes are evaluated using only the pre- and postorder n...
The requirements of specific applications and services are often over estimated when ontologies are designed and built. This sometimes results in many ontologies being too large fo...