Background: While the pairwise alignments produced by sequence similarity searches are a powerful tool for identifying homologous proteins - proteins that share a common ancestor ...
Michael L. Sierk, Michael E. Smoot, Ellen J. Bass,...
Data ambiguity is inherent in applications such as data integration, location-based services, and sensor monitoring. In many situations, it is possible to “clean”, or remove, ...
Reynold Cheng, Eric Lo, Xuan Yang, Ming-Hay Luk, X...
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
The previous work of the authors has shown that physiological
information on the face can be extracted from
thermal infrared imagery and can be used as a biometric.
Although, th...
Pradeep Buddharaju (University of Houston), Ioanni...
One source of difficulties when processing outdoor images is the presence of haze, fog or smoke which
fades the colors and reduces the contrast of the observed objects. We introdu...