Over the past few years Qualitative Reasoning about physical systems has emerged strongly as an important area in Artificial Intelligence. Many qualitative reasoning formalisms have been developed and applied to varied domains, namely, hydraulic systems, electrical systems, industrial control etc.
This paper examines Qualitative Process Theory [Forbus 84] formalism in...
In order for autonomous underwater vehicles to be successful, they must be able to maintain accurate information about their state variables and the state of their critical components. The software developed by Bruce D'Ambrosia and Wade Brittain, (Real-time Tracking and Probabilistic Assessment of Physical Systems) proposes a methodology to provide...
In 19589 J. J. Lingane published an article describing the behavior of an electrolysis using controlled potential coulometry. A typical titration was an hour or more, limiting the variety of applications of the technique. Stephens, Jakob, Rigdon and Harrar looked into the many procedures that have been proposed to locate...
In order for long-range autonomous robots to be successful they must be able to maintain accurate information about their location, available resources, and the state of critical components. We propose here a methodology which incorporates traditional, sensor-based tracking methods with discrete probabilistic representations of system state. Further, we extend the...
We developed a tool that migrates the database schema and the data from one database to another. As DBMSs store the same data by using slightly different data types, one cannot simply copy all the tables and data from the source DBMS to the target DBMS. When our tool, db2db,...
Code instrumenters play a vital role in the functionality of the Aristotle program analysis system, This project aims to replace Aristotle's existing code instrumenters, which process target programs at the, source level, with instrumenters that process target programs at the intermediate language level. This change absolves the instrumenters of responsibility...
The Large-Grain Data-Flow (LGDF) Machine is a tightly-coupled multi-processor consisting of several independent nodes, upon each of which may run one or more tasks. These tasks must be able to communicate and synchronize with each other. This document describes a message-passing system developed to meet these requirements.
The message-passing system...
The Structural Active-Object System (SAOS) approach allows rapid development of various concurrent systems by structural and hierarchical object composition (SHOC). We implemented, as a SAOS program, a graphical editing and simulation program for automatic guided vehicle (AGV) systems, which carry around parts in automated factories. It is difficult to predict...
Pattern matching is the process of comparing two objects to see if they are similar to each other. Objects can be physical objects, situations, facts or events. The criteria of matching can be exact or partial. Traditional pattern matching systems rely on exact matches, in which a small set of...
Multimedia networking is one of the most exciting developments in today's Internet. Streaming technology; which allows the player to start playing audio/video data immediately instead of waiting for the entire file to be downloaded, presents an attractive vehicle for the distribution of multimedia content over the Internet. However, transmitting real-time...