A new technique of interpolating spatial and temporal data using methods of two-channel encoding is discussed. This work is based on the assumption that for many applications it is possible to obtain two channels of data: one with high temporal resolution but low spatial resolution, and the other with low temporal resolution but high spatial resolution. Techniques for combining these two channe...

In this paper we propose algorithms to implement a branching time temporal resolution theorem prover. The branching time temporal logic considered is Computation Tree Logic (CTL), often regarded as the simplest useful logic of this class. Unlike the majority of the research into temporal logic, we adopt a resolution-based approach. The method applies step and temporal resolution rules to the se...

An abstract is not available for this content so a preview has been provided. As you have access to content, full PDF via the ‘Save PDF’ action button.