5550 search results - page 171 / 1110 » Different Approaches to Proof Systems |
117
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
A practical method is proposed for estimating the inertial parameters of robot manipulators with substantial unmodeled joint friction and actuator dynamics. The manipulator is mou...
178
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
183
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
Data exchange between embedded systems and other small or large computing devices increases. Since data in different data sources may refer to the same real world objects, data ca...
182
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
When human-multiagent teams act in real-time uncertain domains, adjustable autonomy (dynamic transferring of decisions between human and agents) raises three key challenges. First...
161
click to vote
TREC
2003
15 years 7 months ago
2003
: We describe our participation in the TREC 2003 Robust and Web tracks. For the Robust track, we experimented with the impact of stemming and feedback on the worst scoring topics. ...