In this paper, we present a programmable method of revising a finite clause set. We first present a procedure whose formal parameters are a consistent clause se
The influence of heat treating on mechanical properties as well as on the sliding wearbehavior of sintered Fe-1.SMo-0.7C steels was experimentally studied. The
In this paper we propose a sufficient condition for minimal routing in 3-dimensional (3-D) meshes with faulty nodes. It is based on an early work of the author
Clustering in very large databases or data warehouses, with many applications in areas such as spatial computation, web information collection, pattern recognit