5451 search results - page 751 / 1091 » Typed Operational Semantics |
191
click to vote
ISER
1999
Springer
15 years 10 months ago
1999
Springer
: Robotic planetary exploration is a major component of the United States’ NASA space science program. The focus of our research is to develop rover planning and control algorith...
150
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
We suggest that planning for automated earthmoving operations such as digging a foundation or leveling a mound of soil, be treated at multiple levels. In a system that we have dev...
161
click to vote
SSD
1999
Springer
15 years 10 months ago
1999
Springer
This work is a contribution to the developing literature on multi-resolution data models. It considers operations for model-oriented generalization in the case where the underlying...
160
Voted
SBRN
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper proposes an unsupervised neural algorithm for trajectory production of a 6-DOF robotic arm. The model encodes these trajectories in a single training iteration by using...
149
Voted
DAC
1998
ACM
15 years 10 months ago
1998
ACM
Carry-save-adder CSA is the most often used type of operation in implementing a fast computation of arithmetics of register-transfer level design in industry. This paper establis...