We give necessary and sufficient conditions for the first-order theory of a finitely presented abelian lattice-ordered group to be decidable. We also show that if the number of gen...
We present an algorithm for video retrieval that fuses the decisions of multiple retrieval agents in both text and image modalities. While the normalization and combination of evi...
ll Text][Abstract] , May 1, 2008; 99 (5): 2496-2509.J Neurophysiol T. O. Sharpee, K. D. Miller and M. P. Stryker Natural Stimuli On the Importance of Static Nonlinearity in Estimat...
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...
Richard I. Kittredge, Eli Goldberg, Myunghee Kim, ...
: We present a model machinery for the generation of aggregating views of knowledge, the coupling of localized knowledge, and for carrying out metaobservations, which record the dy...