4814 search results - page 538 / 963 » Combining abstract interpreters |
197
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— This paper presents a new model-free visual servoing that is able to servo a robotized 2D ultrasound probe that interacts with a soft tissue object. It makes direct use...
161
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Direct physical human-robot interaction has become a central part in the research field of robotics today. To use the advantages of the potential for humans and robots...
174
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— This paper describes our successful implementation of a robot that autonomously and strategically removes multiple blocks from an unstable Jenga tower. We present an in...
177
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— In this paper, a strategy for pathological tremor compensation based on co-contraction of antagonist muscles induced by Functional Electrical Stimulation (FES) is prese...
179
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...