This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
Automated planning and scheduling, including automated path planning, has been integrated with an Internet-based distributed operations system for planetary rover operations. The ...
Paul G. Backes, Gregg Rabideau, Kam S. Tso, Steve ...
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...
We present a new approach to extracting information from unstructured documents based on an application ontology that describes a domain of interest. Starting with such an ontolog...
David W. Embley, Douglas M. Campbell, Randy D. Smi...
The rapidity with which digital information, particularly video is being generated, has necessitated the development of tools for efficient search of these digital media. Content...
Shih-Fu Chang, William Chen, Horace J. Meng, Hari ...