Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
Traditional query processors generate full, accurate query results, either in batch or in pipelined fashion. We argue that this strict model is too rigid for exploratory queries o...
— A piecewise linear network is discussed which classifies N-dimensional input vectors. The network uses a distance measure to assign incoming input vectors to an appropriate clu...
A. A. Abdurrab, Michael T. Manry, Jiang Li, Sanjee...
Misfolding of membrane proteins plays an important role in many human diseases such as retinitis pigmentosa, heredity deafness and diabetes insipidus. Single molecule force spectr...
This article presents a framework for extracting relevant qualitative chunks from a video sequence. The notion of qualitative descriptors, used to perform the qualitative extracti...