ese two applications are built upon the abstraction provided by the Context Service and thus help validate the design of this service. The first application, a Notification Dispatc...
Hui Lei, Daby M. Sow, John S. Davis II, Guruduth B...
We describe a 2.5D layered representation for visual motion analysis. The representation provides a global interpretation of image motion in terms of several spatially localized fo...
Some neurons in the nucleus HVc of the songbird respond vigorously to sequences of syllables as they appear in the bird's own song (such as AB), but they respond weakly or no...
We describe a built-in test pattern generation method for scan circuits. The method is based on partitioning and storage of test sets. Under this method, a precomputed test set is...
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...