6574 search results - page 435 / 1315 » Current Signatures: Application |
195
click to vote
RSP
2000
IEEE
15 years 11 months ago
2000
IEEE
Reconfigurable instruction set processors have the capability to adapt their instruction sets to the application being executed through a reconfiguration in their hardware. Throug...
205
click to vote
VL
2000
IEEE
15 years 11 months ago
2000
IEEE
Isaac is a programing language for geometric reasoning intended for controlling mobile robots, currently under development at NMSU. Due to the application area, handling input and...
187
click to vote
VRST
1999
ACM
15 years 11 months ago
1999
ACM
Logic Programming as well as Virtual Reality applications have achieved a lot in the last few years. In this paper we present an architecture, a methodology and two simple example...
143
Voted
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes guidelines for the design of grippers for use in modular manufacturing workcells. Gripper design is an important and often overlooked aspect of the design of ...
179
Voted
AUSAI
1998
Springer
15 years 11 months ago
1998
Springer
We present the rst implementation of a theorem prover which runs on a smart card. The prover is written in Java and implements a dual tableau calculus.1 Due to the limited resource...