CCS is a resource management system for parallel high-performance computers. At the user level, CCS provides vendor-independent access to parallel systems. At the system administr...
During the Summer of 1997 - Nomad - a planetaryrelevant mobile robot, was driven via satellite link for more than 125 miles in the Atacama Desert of Chile by novice operators in N...
Eric Rollins, Jonathan E. Luntz, Alex Foessel, Ben...
In this paper, we propose a 2D visual motion estimation method which can be exploited to achieve a dynamic positioning (eg. by gaze control) with respect to a sea-bottom area of i...
With the decreasing feature sizes during VLSI fabrication and the dominance of interconnect delay over that of gates, control logic and wiring no longer have a negligible impact o...
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...