Publications

In his 1938 paper,1 Shannon showed how relay switching circuits can be represented by the language of symbolic logic and designed and manipulated according to the rules of Boolean algebra.

A Concurrency Method, ACM, is an intrinsically concurrent model of computation, which is based on the principles of data drive and single assignment.

A Concurrency Method, ACM, is an intrinsically concurrent model of computation, which is based on the principles of data drive and single assignment.

Multiple antennas can greatly increase the data rate and reliability of a wireless communication link in a fading environment, but the practical success of using multiple antennas depends crucially

This article surveys representations of preferences. Representation theories are classified according to the structure of the set on which preferences are defined.

We consider, for a given complex parameter alpha, the non-associative product defined on the tensor algebra of k-dimensional complex vector space by (x, y) = x tensor product y - alpha y tensor pro

In some respects, Artificial Intelligence (AI) is hardly a single field of study, covering as it does problems such as natural language understanding, computer vision, medical diagnosis, automatic

Knowledge representation of software and software systems is an important research area with implications for other AI problems and for knowledge representation of real-world domains in general.

To reason about shape, one must first represent it. We describe a representation scheme for a large class of surfaces.

This paper proposes a representation of a three dimensional curve by points of extremal curvature, or critical points, and describes a method of forming such a representation from discrete data.