366 search results - page 16 / 74 » Machine Function Based Control Code Algebras |
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— The exoskeleton robot, serving as an assistive device worn by the human (orthotic), functions as a humanamplifier. Setting the human machine interface (HMI) at the neuro-muscu...
COMPSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
Using certificates for distributed authorizations in computer network systems has been discussed in the literature. However real implementations of the concept are rarely seen. In...
ATAL
2004
Springer
14 years 27 days ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
RSP
2003
IEEE
14 years 23 days ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
AAAI
2008
13 years 9 months ago
2008
We consider the following setting: a decision maker must make a decision based on reported data points with binary labels. Subsets of data points are controlled by different selfi...