This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...
In this paper, we describe an application that helps hearing-impaired students learn to read and form words by translating speech into video clips of American Sign Language (ASL)....
An approach to conflation/registration of images that does not depend on identifying common points is being developed. It uses the method of algebraic invariants to provide a comm...
Boris Kovalerchuk, William Sumner, James L. Schwin...
The major objective of the Spectral Analysis Automation (SAA) work is to develop an agent-based system that is capable of filtering spectral analysis data and making the selected ...
This paper reports the development of the Concerto platform, which is dedicated to supporting the deployment of resource-aware parallel Java components on heterogeneous distribute...