Sciweavers

415 search results - page 28 / 83
» time 1994
Sort
View
ICRA
1994
IEEE
84views Robotics» more  ICRA 1994»
14 years 2 months ago
A Survey and Experimental Evaluation of Proximity Sensors for Space Robotics
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...
Richard Volpe, Robert Ivlev
ICTAI
1994
IEEE
14 years 2 months ago
NSK, an Object-Oriented Simulator Kernel for Arbitrary Feedforward Neural Networks
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...
Cédric Gégout, Bernard Girau, Fabric...
VL
1994
IEEE
110views Visual Languages» more  VL 1994»
14 years 2 months ago
Pictorial Deduction in Spatial Information Systems
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 ...
Bernd Meyer
DAC
1994
ACM
14 years 2 months ago
Fitting Formal Methods into the Design Cycle
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
Kenneth L. McMillan
DAC
1994
ACM
14 years 2 months ago
Partitioning Very Large Circuits Using Analytical Placement Techniques
A new partitioningapproach for very largecircuits is described. We demonstrate that applying a recently developed analytical placement algorithm, that pro ts from a linear objecti...
Bernhard M. Riess, Konrad Doll, Frank M. Johannes