Sciweavers

3006 search results - page 178 / 602
» Overview
Sort
View
ICRA
1994
IEEE
84views Robotics» more  ICRA 1994»
15 years 7 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
111
Voted
EPIA
1993
Springer
15 years 7 months ago
Fast Methods for Solving Linear Diophantine Equations
We present some recent results from our research on methods for finding the minimal solutions to linear Diophantine equations over the naturals. We give an overview of a family of...
Miguel Filgueiras, Ana Paula Tomás
147
Voted
IWANN
1993
Springer
15 years 7 months ago
Hardware Implementations of Artificial Neural Networks
Over the past decade a large variety of hardware has been designed to exploit the inherent parallelism of the artificial neural network models. This paper presents an overview of ...
Dante Del Corso
SIGOPSE
1994
ACM
15 years 7 months ago
Application-Aware Adaptation for Mobile Computing
This paper identifies application-aware adaptation as an essential capability of mobile clients, and provides an overview of Odyssey, an architecture that supports this capability...
Mahadev Satyanarayanan, Brian Noble, Puneet Kumar,...
CONCUR
1989
Springer
15 years 7 months ago
Using the Temporal Logic RDL for Design Specifications
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter