In a knowledge-based system, rules can be defined to derive virtual attributes. Conflicts occur if multiple rules are applicable and one must be selected based on some criterion, such as priority. We identify important properties of a conflict resolution method and describe a technique for resolving conflicts and efficiently processing queries involving virtual attributes in a knowledge-based s...

In present paper, I propose a method for resolving the timing delays for output signals from an asynchronous sequential system. It will be used an example of an asynchronous sequential system that will set up an output signal when an input signal will be set up. The width of the output signal depends on the input signal width, and in this case it is very short. There are many synthesis methods,...

The R-set relative to a pair of distinct vertices of a connected graph G is the set of vertices whose distances to these vertices are distinct. In this paper R-sets are used to show that metric dimension dim(Nen) = 3 when n is odd and 2 otherwise, where Nen is the necklace graph of order 2n+2. It is also shown that the exchange property of the bases in a vector space does not hold for minimal r...

Marker-based image segmentation has been widely used in image analysis and understanding. The well-known Meyer’s marker-based watershed algorithm by immersion is realized using the hierarchical circular queues. A new marker-based segmentation algorithm relying on disjoint set union is proposed in this paper. It consists of three steps, namely: pixel sorting, set union, and pixel resolving. The ...

This paper describes a method for constructing a distributed database from a set of compute-nodes, a local area network, and a set of object-disks. We assume object-disks do not fail; nodes can fail or go to sleep for long periods. In order for a node to access an object inside an object-disk a valid lease is required. There are two issues that need resolving (1) how to build a database on top ...

In present paper, I propose a method for resolving the timing delays for output signals from an asynchronous sequential system. It will be used an example of an asynchronous sequential system that will set up an output signal when an input signal will be set up. The width of the output signal depends on the input signal width, and in this case it is very short. There are many synthesis methods,...

Given a contact 3-manifold, we consider the problem of when given function can be realized as Ricci curvature Reeb vector field for structure. We will use topological tools to show that every admissible such singular metric which is an honest compatible away from measure zero set. However, see resolving singularities depends on data and yet fully understood.

Innate leukocytes manifest dynamic and distinct inflammatory responses upon challenges with rising dosages of pathogen-associated molecular pattern molecules such as lipopolysaccharide (LPS). To differentiate signal strengths, innate leukocytes may utilize distinct intracellular signaling circuitries modulated by adaptor molecules. Toll-interacting protein (Tollip) is one of the critical adapto...

We explore the problem of resolving the second person English pronoun you in multi-party dialogue, using a combination of linguistic and visual features. First, we distinguish generic and referential uses, then we classify the referential uses as either plural or singular, and finally, for the latter cases, we identify the addressee. In our first set of experiments, the linguistic and visual fe...

A set of vertices S resolves a graph G if every vertex is uniquely determined by its vector of distances to the vertices in S. The metric dimension of a graph G is the minimum cardinality of a resolving set. In this paper we study the metric dimension of infinite graphs such that all its vertices have finite degree. We give necessary conditions for those graphs to have finite metric dimension a...