This paper provides an overview of our selection process for proximity sensors for manipulator collision avoidance. Five categories of sensors have been considered for this use in...
An object-oriented neural network simulator kernel is presented. It is based on a general mathematical model for arbitrary feedforward nets. We propose a C++ implementation of thi...
Though visual access to spatial database systems has attracted much attention in recent years, there have only few deductive visual languages for spatial information systems been ...
This tutorial introduces several methods of formal hardware verication that could potentially have a practical impact on the design process. The measure of success in integrating...
A new partitioningapproach for very largecircuits is described. We demonstrate that applying a recently developed analytical placement algorithm, that prots from a linear objecti...