45001657
A New Subsumption Method in the Connection Graph Proof Procedure
Compared to most of the other resolution-based proof procedures, the connection graph proof procedure (CGPP) is superior due to its effective search space reduction rules. A test for subsumption in CGPP is sufficiently efficient in comparison with the standard test. But the subsumption with no restriction may cause logical inconsistency. The restriction on subsumption to maintain the consistency has been an open problem since it was first noticed in 1981. We define a newθ-subsumption which maintains the logical consistency and provides the graph transformation method which makes C subsume D with the new definition if C subsumes D with the original definition ofθ-sumsumption. 
 
In the subsumption test in CGPP, it is essential to find a set of pairwise strongly compatible matching substitutions between literals in two clauses. This paper presents an algorithm which finds a set of pairwise strongly compatible matching substitutions efficiently, based on both the reduction of possible matching substitutions and bit operations. The worst-case time complexity of this algorithm is analyzed in terms of the estimated maximal number of string comparisons and it is shown that our complexity is lower than the other algorithms based on the s-link test. 
 
Based on the new definition of subsumption and the improved algorithm for the pairwise strongly compatible test, an unrestricted subsumption algorithm and a restricted subsumption algorithm are suggested.
3145493
KPSP: A Knowledge Programming System based on Prolog
39501622
A logic programming approach to hybrid knowledge representation
A new hybrid system called Sphinx is presented which combines classification-based reasoning with logic programming technique. It consists of two major components: a terminological component and an assertional one. The former uses a frame-based knowledge representation scheme based on classification and the latter is a theorem prover based on Horn logic. The assertional component can also handle a first-order query language and wh-questions. A new knowledge base maintenance mechanism based on the negation as failure inference rule enables Sphinx to support incremental assertions and retractions. In addition, Sphinx provides explanation capability to help the user in developing and debugging knowledge bases.
29923826
A Relational Dataflow Database Machine Based on Hierarchical Ring Network
32944410
SPHINX - A Hybrid Knowledge Representation System
1326236
History Sensitive String for Multiple Alphabets
In most cases, to represent characters in a computer, conventional code systems such as ASCII, EBCDIC, or BCD, whose code-length is uniform, have been used. In some countries, where the native language is not English, people can easily adapt their alphabet to these code systems by simply replacing the Enghsh alphabet with the alphabet of their native language. In other countries, especially in Korea and Japan, a straightforward application of the conventional code system is not possible. This is because, to compose a sentence, people customarily intermix words each of which may be constructed by different alphabets. For example, in Korea, they have an alphabet for their native language called Hangul. Hangul is a complete language by which Koreans can communicate with each other. However, Korean culture was influenced by China and more recently by the western countries. This results in widespread usage of four different types of documents in Korea. Documents may be written in Hangul only, Hangul with Chinese words, Hangul with English words, and Hangul with both Chinese and English words. Even in these cases, Hangul is the main alphabet. Another example of the applications of multiple alphabets in a single text are the high level language programs in Korean environment where the program language is a popular high level language such as PASCAL, C, or LISP, but variable names or data in the program may consist of Korean characters [7,9]. In this case, the main alphabet is English. Another example using heterogeneous characters is the use of attributes such as color, size, or font in high quality text editors. In such cases, characters from multiple alphabets should be used in a computer. Since each alphabet may have characteristics different from each other, some coding methods for multiple alphabets can be considered. When the sizes of the alphabets are significantly different from each other, employment of codes of a uniform length is prohibitively expensive. There are two different techniques to encode the multiple alphabets into a single code system. In the following sections, two coding methods of multiple alphabets are generalized, and their advantages and disadvantages are analyzed.
9811102
Four-bend top-down global routing
We propose a new global net distribution approach for high-performance m/spl times/m two-dimensional arrays of very large scale integration and multichip-modules. The objective is to route n nets with minimum density of global cells, using a "small" number of bends. There are a number of applications where it is necessary to limit the number of bends on each wire. For example, it is desirable to limit the number of bends on each microstrip (transmission) line, for mismatches of line impedance can cause reflections from the junction points such as bends and vias. Furthermore, for high-performance routing, intersections of wires cause the use of more vias, which in turn require the use of more routing resources (because of the larger via pitch). This is the first paper that addresses a graph-theoretic framework to solve the bend-constrained global routing problem in two-dimensional arrays. In this paper, at each level of an underlying quad-tree, we present a novel four-bend routing algorithm by decomposing the original problem at level i into two subproblems that can be solved exactly based on a two-stage approach of smaller-sized linear program followed by min-cost flow networks. The overall (i.e., entire level of the four-way partition hierarchy) constraint and variable size for the first stage is O(md/sub o/), while the overall run time for the second stage is O(n/sup 3/ log n/sup 2/). The time complexity of such a hierarchical approach is one order of magnitude less than one of constructing a global routing using the min-cost-flow-based flat design approach. Last, we present an extension that permits a limited degree of control over the number of bends. The proposed algorithm can also be used for estimating the wireability in the early design planning stage for high-level synthesis. Experimental results showed the effectiveness of the proposed algorithm.
43684392
Wavelet Analysis Based Blind Watermarking for 3-D Surface Meshes
As most previous wavelet analysis based 3-D mesh watermarking methods embed the watermark information into wavelet coefficients arranged in a certain order, they have not been used as blind schemes since the connectivity information must be exactly known in the watermark extraction process. In this paper, we propose a blind watermarking method based on wavelet analysis for 3-D mesh model. Two new techniques are introduced. One is to exploit the statistical features of scale coefficients on an approximation (low resolution) level for watermark embedding. Another is to extract the hidden watermark, not from the same resolution level as used in embedding process, but directly from the spatial domain. As the proposed watermark detection does not require the wavelet analysis, any pre-processing such as registration and re-sampling, is not needed. These techniques allow to detect the watermark without referring to the original meshes. In addition, the proposed are applicable directly to irregular meshes by using irregular wavelet analysis. Through simulations, we prove that our method is fairly robust against various attacks including topological ones.
5732912
Crawler-Friendly Web Servers
In this paper we study how to make web servers (e.g., Apache) more crawler friendly. Current web servers offer the same interface to crawlers and regular web surfers, even though crawlers and surfers have very different performance requirements. We evaluate simple and easy-to-incorporate modifications to web servers so that there are significant bandwidth savings. Specifically, we propose that web servers export meta-data archives decribing their content.
171503
Parallel crawlers
In this paper we study how we can design an effective parallel crawler. As the size of the Web grows, it becomes imperative to parallelize a crawling process, in order to finish downloading pages in a reasonable amount of time. We first propose multiple architectures for a parallel crawler and identify fundamental issues related to parallel crawling. Based on this understanding, we then propose metrics to evaluate a parallel crawler, and compare the proposed architectures using 40 million pages collected from the Web. Our results clarify the relative merits of each architecture and provide a good guideline on when to adopt which architecture.
1739520
Exploiting Geographical Location Information of Web Pages
Many information resources on the web are relevant primarily to limited geographical communities. For instance, web sites containing information on restaurants, theaters, and apartment rentals are relevant primarily to web users in geographical proximity to these locations. In contrast, other information resources are relevant to a broader geographical community. For instance, an on-line newspaper may be relevant to users across the United States. Unfortunately, the geographical scope of web resources is largely ignored by web search engines. We make the case for identifying and exploiting the geographical location information of web sites so that web search engines can rank resources in a geographically sensitive fashion, in addition to using more traditional information-retrieval strategies. In this paper, we first consider how to compute the geographical location of web pages. Subsequently, we consider how to exploit such information in one specific "proof-of-concept" application we implemented in JAVA, and discuss other examples as well.