The method of logical relations assigns a relational interpretation to types that expresses operational invariants satisfied by all terms of a type. The method is widely used in ...
Numerous approaches to information modeling exist within chemical engineering representing product data, work processes, or other information. These models have a limited scope an...
A conic of the Veronese surface in PG(5, 3) is a quadrangle. If one such quadrangle is replaced with its diagonal triangle, then one obtains a point model K for Witt’s 5–(12, ...
—In this paper, we introduce a family of filter kernels—the Gray-Code Kernels (GCK) and demonstrate their use in image analysis. Filtering an image with a sequence of Gray-Code...
—Tracking deforming objects involves estimating the global motion of the object and its local deformations as a function of time. Tracking algorithms using Kalman filters or part...
Yogesh Rathi, Namrata Vaswani, Allen Tannenbaum, A...